証明に対応する Lambda 式

Menu Menu

以下の論理式の証明図に対応する Lambda 式を作れ。

   (1)  A ⇒ A ∨ B  
   (2)  B ⇒ A ∨ B
   (3)  A ∨ A  ⇒ A
   (4)  (A => B) ∨ (A => C)  ⇒ A => ( B ∨ C )

Haskkell で作成した Lambda 式を定義し、型が上の論理式に一致することを確認せよ。