一。承前启后
前面说过，逻辑学是研究”推论“的学科。推论的有效性取决于它的形式而不取决于它的内容。推论是由命题组成的，而命题又是由词项组成的。
前面一段讨论的是命题逻辑，命题逻辑只研究简单命题和复合命题之间的关系，这种复合逻辑的真值仅仅取决于其支命题的真值，不涉及到命题内部的词项之间的逻辑关系。命题逻辑以命题为最小单位，简单命题通过真值函项联结词联结成复合命题，这种仅仅依据真值函项联结词所进行的推论叫做”命题推论“。有两种方法可以检验命题推论的有效性：一种是真值表方法（包括短真值表方法），另一种是推演的方法。两种方法得到的结论应该是一样。
二。三段论逻辑引言
三段论逻辑处理的推论叫做三段论推论。三段论推论与命题推论完全不同，三段论推论不涉及复合命题，只涉及简单命题，但是它需要涉及简单命题的内部结构，即涉及简单命题的内部的词项之间的逻辑关系。例子：
[推论1]
所以哲学家都是善于抽象思维的；
有人不是善于抽象思维的；
所以，有人不是哲学家。
三。直言命题
前面提到，三段论逻辑只涉及简单命题，不涉及复合命题，但是它涉及到命题内部的词项。三段论逻辑所涉及的这种简单命题叫做”直言命题“。
- 形式：直言命题有以下四种形式：
所有S是P
所有S不是P
有S是P
有S不是P - 词项：三段论逻辑需要涉及命题内部的词项之间的逻辑关系，那么我们来看看都有哪些词项。
版权声明：本文内容由互联网用户自发贡献，该文观点仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容，请联系我们，一经查实，本站将立刻删除。
如需转载请保留出处：https://51itzy.com/kjqy/74439.html