第1章 命题逻辑
1.1 命题符号化及联结词1.2 命题公式及分类1.3 等值演算1.4 范式1.5 联结词完备集1.6 推理理论
1.1 命题符号化及联结词
命题与真值原子命题复合命题命题常元命题变元联结词
命题与真值
命题: 判断结果惟一陈说句命题真值: 判断结果，非真即假真命题: 真值为真命题假命题: 真值为假命题注意: 感叹句、祈使句、疑问句都不是命题陈说句中悖论以及判断结果不惟一确定也不是命题