发帖
雷达卡
第二章 谓词逻辑 在命题逻辑中，命题被看成一个基本，不可分割单位，只研究由原子命题和联接词所组成复合命题；因而无法研究命题内部结构及命题之间内在联络。本章介绍谓词逻辑，对原子命题成份、结构和原子命题间共同特征等作了深入分析。引入了个体词、谓词、量词、谓词公式等概念，在此基础上研究谓词公式间等值关系和蕴含关系，而且对命题逻辑中推理规则进行扩充和进行谓词演绎。
主要内容以下： 谓词、个体词和量词 谓词演算公式 谓词演算永真公式 谓词演算推理理论
谓词、个体词和量词
例 在命题逻辑中 ，对下述论断无法判断其正确性。 “苏格拉底三段论” ： 凡人都是要死， 苏格拉底是人， 所以苏格拉底是要死。
类似例 还有许多。 比如： 全部人都要呼吸 , 全部正整数都大于0, 李莉是人 , 3是正整数, 所以李莉要呼吸。 所以3大于0。
一、个体词和谓词 在谓词演算中，可将原子命题分解为谓词与个体词两部分 ...
京公网安备 11010802022788号
