A∨ (B∧C)├┤(A∨B)∧ (A∨C)A∨(B∨C)├┤ (A∨B) ∨CA→C,B→D,A∨B├C∨D逻辑学的三个公式,请教谁能给出形式证明

问题描述:

A∨ (B∧C)├┤(A∨B)∧ (A∨C)
A∨(B∨C)├┤ (A∨B) ∨C
A→C,B→D,A∨B├C∨D
逻辑学的三个公式,请教谁能给出形式证明

A→(B→C)等值于¬A∨(B→C)等值于¬A∨(¬B∨C)等值于¬A∨¬B∨C而(A→B)→(A→C)等值于¬(¬A∨B)∨(¬A∨C)等值于(A∧¬B)∨¬A∨C等值于(¬A∨¬B∨C)∧(A∨¬A∨C)等值于(¬A∨¬B∨C)∧C显然¬A∨¬B∨C├(¬A∨¬B∨C)∧C