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

学习 时间:2026-04-07 16:27:35 阅读:3390
能给个详细的构造性二难的证明吗

最佳回答

长情的故事

明亮的大碗

2026-04-07 16:27:35

用归谬法(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)

最新回答共有2条回答

  • 务实的宝贝
    回复
    2026-04-07 16:27:35

    用归谬法(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)

上一篇 近似数9.0和9.00比较谁精确?或无法比较或一样

下一篇 生物中用来描述DNA的某单位的“bp”是什么意思啊?