不包括非运算。
布尔型的值只有两个:false(假)和true(真)。
且false的序号为0,true的序号是1(或者是非0)。
用于布尔型的标准函数有 ord(取序号),pred(前导),succ(后继) 注意:false没有前导,true没有后继。
用于布尔量的运算有布尔运算(或称逻辑运算),它们是: AND(与),OR(或),NOT(非) 对布尔量还可以进行关系运算(或称比较运算)。
关系运算有以下6种: <(小于),<=(小于等于),=(等于) >(大于),>=(大于等于),<>(不等于) 例子: var1=var2==var3
如果var2=var3,var1为true,否则为false var1=var2!
=var3
如果var2!
=var3,var1为true,否则为false var1=var2
如果var2
如果var2>var3,var1为true,否则为false var1=var2<=var3
如果var2<=var3,var1为true,否则为false var1=var2>=var3
如果var2>=var3,var1为true,否则为false 扩展资料: 内容来自网友回答
1.非任意X存在Y F(x.y)等值于存在X任意Y非F(x.y)吗? 2.存在X任意Y A(x,y) 或 存在X任意Y B(x,y),能将前面的量词提出来吗? 3.量词辖域的放缩:任意X(A(x)蕴含B) 等值于 存在XA(x)蕴含B,这个等值中,全称量词为什么变成了客称量词?