当前位置：首页 >
离散数学(02324) > 正文内容
用CP规则证明以下各式:
(1)¬AⅤB,C→¬B⊦A→¬C;
(2)A→(B→C),(C⋀D)→¬E,¬F→(D⋀¬E)⊦A→(B→F)。
用CP规则证明以下各式:
(1)¬AⅤB,C→¬B⊦A→¬C;
(2)A→(B→C),(C⋀D)→¬E,¬F→(D⋀¬E)⊦A→(B→F)。
(1)¬AⅤB,C→¬B⊦A→¬C
证明：(1)¬AⅤB P规则
(2)A CP规则
(3)B T(1)(2)I10
(4)C→¬B P规则
(5)B→¬C T(4)E18
(6)¬C T(3)(5)11
(2)
扫描二维码免费使用微信小程序搜题/刷题/查看解析。
版权声明：本文由翰林刷题小程序授权发布，如需转载请注明出处。