离散数学持续1命题逻辑.pdfVIP

第一章命题逻辑 1. 命题及其表示方法 2. 联结词 3. 命题 与翻译 4. 真值表与等价 5. 重言式与蕴含式 6. 其它联结词 7. 对偶与范式 8. 推理理论 1 1.6 其它联结词 1.不可兼析 取 C 2.条件否定 3.与 › 非 fl 4.或 非 2 P Q P Q P Q P Q (P Q) ( P Q) 1 1 0 0 0 1 0 0 1 1 0 1 1 0 1 0 0 0 0 0 真值表 P Q P Q 0 0 0 同则假 0 1 1 异则真 1 0 1 1 1 0 P Q (P Q) ( P Q) (P « Q ) 2. 条件否定 C 定义1-6.2 给定两个命题 P 和Q ,复合命题 P C Q 称作 P 和Q 的条件否定。 真值表 P Q P C Q 0 0 0 前真后假 0 1 0 则真 1 0 1 1 1 0 P C Q ( P fi Q ) 4 3. 与非 › 定义1-6.3 给定两个命题 P 和Q ,复合命题 P ›Q 称作 P 和Q 的与非。 真值表 P Q P Q › 0 0 1 0 1 1 同真则假 1 0 1 1 1 0 P › Q