elainafan

摘要： 数理逻辑的第二章，命题逻辑等价运算. 这章的内容有点多 16.1 等值式 设\(A,B\)是两个命题公式，若\(A,B\)构成的等价式\(A \leftrightarrow B\)为重言式，则称\(A\)和\(B\)是等值的，记作\(A \Leftrightarrow B,\)称\(A \Leftr 阅读全文

摘要： 这一章比较简单，快速过一下. 15.1 命题与联结词 非真即假的陈述句称作命题. 命题的陈述句所表达的判断结果称作命题的真值，真值为真的命题称为真命题，真值为假的命题称为假命题.命题的真值是唯一的. 不能被分解成更简单的命题称为简单命题或者原子命题.在命题逻辑中，简单命题是最小的基本单位.由简单命题 阅读全文