电影香水剧情介绍:什么叫谓项逻辑学呀?希望各位高人指点.

来源:百度文库 编辑:高校问答 时间:2024/04/30 03:19:45
多谢您的解答,但是我说的是谓项逻辑学,不是逻辑学

现代逻辑中有命题逻辑与谓词逻辑之分。
命题逻辑(Propositional logic)以命题为分析单元,考察由命题联结词联结所形成的形式变换与推理;
谓词逻辑(Predicative Logic)以谓词为分析单元,在命题逻辑基础上,进一步研究由个词词与谓词所形成的形式变换与推理。
举例来说:
凡人皆有死,苏格拉底是人;所是苏格拉底有死。
在命题逻辑中,无法证明其推理的有效性,因为其逻辑形式是:p,q,∴r
在谓词逻辑中,可以证明其推理的有效性,因为其逻辑形式是:(x)(M(x)→P(x));S(a);∴P(a)。

欢迎到逻辑学吧参与讨论:
http://post.baidu.com/f?kw=%C2%DF%BC%AD%D1%A7

转贴过去了:http://post.baidu.com/f?kz=96748790

逻辑就是人的头脑分析事物的规律.
一般都有自己的规律,在前提条件充足的情况下
举例
因为下雨,所以不上体育
用逻辑就是
因为a 所以 b