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