论文部分内容阅读
如何用数理逻辑的观点表述三段论,这是值得我们探讨的问题,现就自己的肤浅体会叙述如下: 一、逻辑依据: 在推理中,三段论是重要的推理形式,应用很广泛。那么,什么是三段论推理的逻辑依据呢?这在形式逻辑中是通过三段论公理表达的。三段论公理的内容为“凡是肯定了(或否定了)
How to express syllogism from the point of view of mathematical logic. This is a question worthy of our exploration. Now we describe our own superficial experience as follows: 1. Logical Basis: In syllogism, syllogism is an important form of reasoning and it is widely used. So what is the logical basis for syllogistic reasoning? This is expressed in formal logic by syllogism axioms. The content of the syllogism axiom is: "Everyone has affirmed (or denied)