17/03/08 03:58:12.10 BhmSqXoN.net
>>664
自然演繹をシーケントの形で定式化した体系（†）での証明図は次の通り
P ├ P P→Q ├ P→Q
-------------------------
P ├ P P, P→Q ├ Q
----------------------------
P, P, P→Q ├ P∧Q
-----------------
P, P→Q ├ P∧Q
--------------------
P→Q ├ P → P∧Q
†：例えば、大芝猛：『数学基礎概説』（共立数学講座 10），§1.3，pp. 22--27 （共立出版，1987）を参照せよ