まだ未完成、出来上がったら本編に移します。 いきなりですが、“自然演繹の証明図”風の図の例を2つ挙げます。 A B ------- A∧B A --- A そして、“シーケント計算の証明図”風の図の例も2つ： A → B B → C --------------- A → C ☆ ------- A → A これらの図は…