ReasonLines

Wallace A Murphree

關於這個應用程式

ReasonLines提供了（1）一種新的和更容易的方式對傳統三段論和（2）傳統的三段論的膨脹，以包括數值定量。
 
1）的新方法與傳統三段論
 
代替考慮孤立語句的參數，如大前提，次要的前提下，和結論的組件，這種新方法捆綁每個語句及其等價物和每個束由箭頭的它自己的“示意”表示。前提示意圖然後可以代替沿側彼此，他們的並列顯示任何結論，如果有的話，便要承擔丟棄。用戶只需要學習如何選擇正確的前提下圖表以及如何遵循一個結論的箭頭。
 
＆＃8195;＆＃8195;幫助頁面的第一部分是這個新方法的教程。
 
（2）傳統的三段論的數字擴展
 
這已經是標準數字解釋特定的量詞;也就是說，它是標準採取“一些”為“至少有一個。”此外，通用量詞，“所有”和“無”，也可以忠實地數字，因為提供的“全”是指“一切以零異常”和“無”是指無“無零例外。”鑑於此，事實證明，傳統的量詞只是標誌著無盡的可能的量化值能的開始，因為“至少有一個”打開一系列“至少有兩個”，“至少有三個“等等，”所有（無），但零“打開”所有（無）只有一個“，”所有（無），但二，“等等。
 
通過使這個明確的，零和傳統的三段論中的一個成為其他號碼更換。因此，例如，“所有，但10 A是B和所有，但20 B是C，因此所有但30 A是C ”和“至少100 A是B，所有但7 B是C，所以至少一個93為C “，也同樣有效，傳統的芭芭拉和Darii，並為同樣的原因。
 
＆＃8195;＆＃8195;幫助頁面的第二部分以開發吸引原理圖這個數字擴展。

新功能

Minor bug fixes