練習問題 2.1.2

論理において⇒で表される含意は，x⇒yが 
False
になるのはxが真でかつyが偽の場合に限ると定義されている． 含意を 
Bool
上の演算として形式的な定義を与えよ． 




⇒は

=>>

と書くことにする．




infixr 1 =>>

(=>>) :: Bool -> Bool -> Bool
p =>> q = not p \/ q