离散数学-逻辑1.命题逻辑的基本概念2.命题逻辑等值演算3.命题逻辑的推理理论4.一阶逻辑基本概念5.谓词逻辑的等值演算6.前束范式与谓词逻辑的推理
1.命题逻辑的基本概念1.1命题与连接词1.1.1命题非真即假的陈述句1.1.2真值命题的判断结果 一个命题如果是对的或正确的,则称为真命题,其真值为“真(ture),常用T或1表示；一个命题如果是错的或不正确的,则称为假命题,其真值为“假”(false),常用F或0表示 任何命题的真值都是唯一的 例：1.1.3命题变元（命题变项）通常用小写英文字母p,q,r,...或带有下标的小写字母P₁,p₂,p₃,...来表示命题,称为命题变元或命题变项1.命题变.
