能给个详细的构造性二难的证明吗

来源:学生作业帮助网 编辑:六六作业网 时间:2024/12/19 02:47:00
能给个详细的构造性二难的证明吗能给个详细的构造性二难的证明吗能给个详细的构造性二难的证明吗用归谬法(A→B)∧(C→D)∧(A∨C)=>(B∨D)等价于(A→B)∧(C→D)∧(A∨C)∧(非(B∨D

能给个详细的构造性二难的证明吗
能给个详细的构造性二难的证明吗

能给个详细的构造性二难的证明吗
用归谬法
(A→B)∧(C→D)∧(A∨C)=> (B∨D)等价于(A→B)∧(C→D)∧(A∨C)∧(非(B∨D))
(A→B)∧(C→D)∧(A∨C)∧(非(B∨D))
=> (A→B)∧(C→D)∧(非(B∨D))∧(A∨C)
=> ((A→B)∧非B) ∧((C→D)∧非D)∧(A∨C) =>
非A∧非C∧(A∨C)
=> (非A∧非C∧A)∨(非A∧非C∧C)
=> 0∨0 => 0
于是(A→B)∧(C→D)∧(A∨C)=> (B∨D)