ReasonLines

Wallace A Murphree

このアプリについて

ReasonLinesは、伝統的な三段論法に（1）新たな、より簡単なアプローチと数値定量化を含むように、伝統的な三段論法の（2）の拡張を提供します。
 
1）伝統的な三段論法への新しいアプローチを
 
代わりに、このような大前提、小前提、結論として、引数の成分として分離された文を、考慮のために、この新しいアプローチは、その当量の各ステートメントをバンドルし、各バンドルは、矢印の独自の「模式」で表されます。いずれの場合前提の回路図は、その後の側に沿って所定の位置に互いをドロップすることができ、それらの並置は、どのような結論を表示する場合に、その原因となっています。ユーザは、正しい前提の回路図を選択するには、どのような結論のために矢印をたどる方法を学習する必要があります。
 
＆＃8195;＆＃8195;ヘルプページの第一部では、この新しいアプローチのためのチュートリアルです。
 
（2）伝統的な三段論法の数値展開する
 
数値的に特定の数量詞を解釈するために、すでに標準です。つまり、それはまた、普遍数量詞は、「すべて」と「いいえ」も忠実ので、数値的にレンダリングすることができる「少なくとも1つ」として「一部」は、「すべて」が「ゼロ以外のすべて」を意味し、取る標準です「いいえ」なし「ゼロを除いてどれも」ことを意味します。これを考えると、それは「少なくとも1つ」は、「少なくとも2」、「少なくとも3のシリーズを開くため、伝統的な数量詞は、単に無限の可能性の定量化の始まりをマークすることが判明します」等、および「すべての（なし）が、ゼロすべて（なし）」をオープンしていない」が、1つ、「「すべての（なし）が、2つ、 "など
 
これは明示的にすることにより、ゼロと伝統的な三段論法の一つは、他の数によって交換可能になります。だから、例えば、は少なくとも100 Aである "" 10 Aが、すべてがBであり、20 Bが、すべてがCであるため、すべてが、30 Aは、C である」とB、全てが、 7 BはC の少なくとも93 Aそう、「伝統的なバーバラとDariiと同じくらい有効であり、非常に同じ理由で、Cです。
 
＆＃8195;＆＃8195;ヘルプページの第二部は、回路図にアピールすることで、この数値の拡張を開発しています。

新機能

Minor bug fixes