22/06/17 01:59:04.19 Un+Ku3Rt.net
1，P→Q∨R ・・・・・・・仮定
2，(Q→S)∧(R→S) ・・・仮定
3，p ・・・・・・・・・・仮定
4，Q∨R ・・・・・・・・1と3より→除去
5，Q ・・・・・・・・・仮定
6，Q→S ・・・・・・・・2より∧除去
7、S ・・・・・・・・・・5と6より→除去
8，R ・・・・・・・・・・仮定
9，R→S ・・・・・・・・2より∧除去
10，S ・・・・・・・・・8と9より→除去
11，S ・・・・・・・・・4と7と10より∨除去
12，ｐ→S ・・・・・・・3と11より→導入
13，(Q→S)∧(R→S)→(ｐ→S) ・・・2，12より→導入
14，(P→Q∨R)→((Q→S)∧(R→S)→(ｐ→S)) ・・・1，13より→導入