零阶逻辑 零阶逻辑是在与布尔函数一元谓词演算命题逻辑或句子逻辑有关主题的从业人员中流行的术语使用这个术语的好处是它确立了更高的抽象层次在其中上述这些主题之间的很无关紧要的区别可以在这个中肯的同构下被包容 向着最初的方向表列出了具体类型X  Y  B和抽象类型 B  B  B的十六个函数在零阶逻辑的不同语言中的等价表达