A∨(¬A∧B)⊢A∨B

table:A∨(¬A∧B)⊢A∨B

前提番号 行番号 論理式 推論規則

1 1 A∨(¬A∧B) 仮定

2 2 A 仮定

2 3 A∨B 2,∨導入

4 4 (¬A∧B) 仮定

4 5 B 4,∧除去

1 6 A∨B 1-5,∨除去