haskell(30)

haskell在数理逻辑中的应用

基本逻辑运算符定义

    逻辑与、逻辑或、蕴涵、相等，逻辑非用not函数，逻辑与用&&函数，逻辑或用||，蕴涵函数定义一个操作符“==>”，然后定义相等操作符“<=>”。

(==>)::Bool->Bool->Bool

True==>p =p

False==>p =True

(<=>)::Bool->Bool->Bool

x<=>y=x==y

加载程序后测试一下：

*Main> (6<7)==>(9<10)

True

*Main> (6<7)==>(9>10)

False

*Main> True&&False

False

*Main> True||False

True

*Main> (6<7)==>(9>10)

False

*Main> (6