証明図
証明木
記号の導入をする
$ \varphi_1 ... \varphi_nから$ \varphiが直ちに導かれるとき
https://scrapbox.io/files/68eb76549ec6481e6be82c0f.png
https://gyazo.com/4476f481b601612219d156e07e13f76e
https://gyazo.com/46a067bda08aa4729ee21c4a016177cc
さらに、$ \{ \varphi_1, ..., \varphi_n \} \vdash \varphiのときも同様に描く