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