零阶逻辑是在与布尔函数、一元谓词演算、命题逻辑或句子逻辑有关主题的从业人员中流行的术语。使用这个术语的好处是它确立了更高的抽象层次，在其中上述这些主题之间的很无关紧要的区别可以在这个中肯的同构下被包容。向着最初的方向，表1列出了具体类型"X" × "Y" → B和抽象类型 B × B → B的十六个函数在零阶逻辑的不同语言中的等价表达。<br>
六种语言.对十六个布尔函数的六种语言按如下次序方便的描述：还要注意formula_2是同formula_3与formul