d。5a。C→┐B A→┐C (矛盾法) 证明。(1) ┐(A→┐C) P附加前提 (2) ┐ (┐ A ∨┐C ) T(1)E条件等值式 (3) A∧C T(1)E德摩根律 (4) A T(3)I化简律 (5) C T(3)I化简律 (6) ┐A∨B。并给出各命题的 真值。
离散数学习题Tag内容描述：
1、离散数学习题 1-8,网工1102,本次作业为 P47 (2a,b,d,3a,b,d,4a,5a,c),AB，CB AC (矛盾法) 证明：(1) (AC) P附加前提 (2) ( A C ) T(1)E条件等值式 (3) AC T(1)E德摩根律 (4) A T(3)I化简律 (5) C T(3)I化简律 (6) AB 。
2、第一章 命题逻辑习题1.11解 不是陈述句,所以不是命题. x取值不确定,所以不是命题. 问句,不是陈述句,所以不是命题. 惊叹句,不是陈述句,所以不是命题. 是命题,真值由具体情况确定. 是命题,真值由具体情况确定. 是真命题. 是悖论。
3、离散数学习题解97习题一1.1略1.2略1.3略1.4略1.5略1.6略1.7略1.8略1.9略1.10略1.11略1.12将下列 命题符号化, 并给出各命题的 真值:1224 当且仅当 336. 2224 的充要条件是 336. 3224。