用逻辑符号表示逻辑推理结构形式

问题描述

精选答案

逻辑符号逻辑符号：‘逻辑学’中用以表示在逻辑形式和逻辑运算中使用的，人工设计的，能够代表某些具体内容的、视觉记号。

传统形式逻辑已发展到采用某些逻辑符号来表示思维的具体逻辑形式。如：用用"M-P，S-M，所以S-P"表示"所有S是P"表示文字信息欲表达的全称肯定命题 的逻辑形式。人们用逻辑符号可让逻辑思维过程更加节省时间，容易表达，并且容易检查出思维中是否存在逻辑性错误。还可以使用人工智能帮助人的容易产生错误的大脑进行有条有理、完全没有错误的思维。以便避免逻辑性错误，得到真理性结论。

其他回答

古诗词学习

推理的结构是指推理由前提和结论两部分构成；任何推理都是按照一定的推理规则，把前提和结论排列成一定的推理形式。这就是推理的形式结构。

比如，三段论推理总体结构形式是：

大前提

小前提

结论

但大前提、小前提、结论都可以分别由A、E、I、O四种命题充当，这就构成了256种具体三段论的推理形式。在诸多推理形式中，有很多有效式，也有很多是无效式。

各种推理的形式结构都有不同，以上只是以三段论为例。