零階邏輯

零階邏輯是在與布爾函數 、 一元謂詞演算 、 命題邏輯或句子邏輯有關主題的從業人員中流行的術語 。 使用這個術語的好處是它確立了更高的抽象層次 ， 在其中上述這些主題之間的很無關緊要的區別可以在這個中肯的同構下被包容 。 向着最初的方向 ， 表1列出了具體類型X × Y → B和抽象類型 B × B → B的十六個函數在零階邏輯的不同語言中的等價表達 。