布爾型

布爾型的值只有兩個：false（假）和true（真）。且false的序號為0，true的序號是1（或者是非0）。

用於布爾型的標準函數有

ord(取序號)，pred(前導)，succ（後繼）

注意：false沒有前導，true沒有後繼。

用於布爾量的運算有布爾運算（或稱邏輯運算），它們是：

AND(與),OR(或),NOT(非)

對布爾量還可以進行關係運算（或稱比較運算）。關係運算有以下6種：

<(小於),<=(小於等於),=(等於)

>(大於),>=(大於等於),<>(不等於)