- 456 名前：１３２人目の素数さん [2014/01/01(水) 19:52:40.59 ]
- 1 (A→(A∨(B∧C)))→(B→(A∨(B∧C)))→(A∨B)→(A∨(B∧C)) (DE)
2 A→(A∨(B∧C)) (DI)
3 (B→(A∨(B∧C)))→(A∨B)→(A∨(B∧C)) MP,1,2
4 B→(A∨(B∧C)) †
5 (A∨B)→(A∨(B∧C)) MP,3,4
6 A∨B ‡
7 A∨(B∧C) MP,5,6
あとは（†）と（‡）の証明
（‡）は簡単
1 (A∨B)∧(A∨C) (Pres.)
2 (A∨B)∧(A∨C)→(A∨B) (CE)
3 A∨B MP,2,1
