22/06/03 22:16:16.81 k5M3T03B.net
1，((P → R) ∧ (Q → R)) ・・・・仮定
2，﹁R・・・・・・・・・・・・・仮定
3，P・・・・・・・・・・・・・・仮定
4，P → R・・・・・・・・・・・・1より∧除去
5，R・・・・・・・・・・・・・・3，4より→除去
6、矛盾・・・・・・・・・・・・・2と5より
7，¬P・・・・・・・・・・・・・3と6より¬導入
8，Q・・・・・・・・・・・・・・仮定
9，Q → R・・・・・・・・・・・・1より∧除去
10，R・・・・・・・・・・・・・・8と9より→除去
11，矛盾・・・・・・・・・・・・10と2より
12，¬Q・・・・・・・・・・・・・8と11より¬導入
13，﹁ P ∧﹁ Q・・・・・・・・・・7と12より∧導入
14，﹁R→（﹁ P ∧﹁ Q）・・・・・2と13より→導入
15，((P → R) ∧ (Q → R))→(﹁R→(﹁ P ∧﹁ Q))・・・1と14より→導入