絵図形式 左に a を入れるの省略。 f f η| | ∩| | ||| ≡ | |∪ | |ε | f f 自然演繹形式 (1)から(6)の番号は絵との対応を取るためのもの。 snake::: (a.η*f);(a.f*ε) ≡> a.f^ {(a.η*f);(a.f*ε) :: True ⇒ a.f≦a.f True ==================================[du…