认知谓词逻辑.pptxVIP

2021/10/10;项目9 二元关系与数理逻辑; 在任务9.2中，我们研究的基本单位是原子命题，由此建立的关于命题的理论称为命题逻辑．在进一步的研究中，发现很多思维过程在命题逻辑中不能恰当地表现出来．; 在命题逻辑中, 若将推理中的三个简单命题符号化为Ｐ、Ｑ、 Ｒ，那么由Ｐ、 Ｑ 这两个命题无论如何不可能得出Ｒ为有效结论． ;1） 谓词逻辑的基本概念;谓词： 个体词性质或相互之间关系的词．;谓词： 个体词性质或相互之间关系的词．;谓词常项：表示具体性质或关系的谓词, 用大写字母F, G, H,…表示.;练习1 将下列命题符号化 (1) 是无理数; (2) 小李比小赵高2厘米. ;量词：表示数量的词．;例1 分别用命题逻辑、谓词逻辑的0元谓词将下列命题符号化： (1) 墨西哥位于南美洲. (2) 　　是无理数仅当2 是有理数.;例1 分别用命题逻辑、谓词逻辑的0元谓词将下列命题符号化： (1) 墨西哥位于南美洲. (2) 　　是无理数仅当2 是有理数.;练习2 将下列命题用0元谓词符号化。 (1) 2是素数且是偶数; (2) 如果2大于3，则3大于4; (3) 如果张明比李民高，李民比赵亮高，则张明比赵亮高.;练习2 将下列命题用0元谓词符号化。 (1) 2是素数且是偶数; (2) 如果2大于3