零阶逻辑：修订间差异

| f₁₅ || f₁₁₁₁ || 1 1 1 1 || (( )) || 真 || 1

|}

=== 六种语言 ===

* 语言'''L₃'''描述每个布尔函数''f'' : '''B'''² → '''B'''，通过四个布尔值的序列 (''f''(1,1), ''f''(1,0), ''f''(0,1), ''f''(0,0))的方式。这样的一个序列，可能在另一个次序下，并可能带有逻辑值''F''和''T''分别替代布尔值0和1，并通常显示为[[真值表]]中的一列。

* 语言'''L₂'''以'''f_i'''的形式列出十六个函数，这里的索引'''i'''是从'''L₃'''中的布尔值序列形成的[[位串]]。

* 语言'''L₁'''符号表示布尔函数'''f_i'''带有同'''L₂'''中的二进制索引等价的十进制索引'''i'''。

* 语言'''L₄'''使用逻辑[[连结词]]表达了十六个函数，通过以乘积的方式连接函数名字或命题表达式的方式，加上[[极小否定算子]]家族来表示，用下列各种符号给出几个极小否定算子：

* 语言'''L₅'''列出了这十六个函数的日常语言表达，它们是多种同义的表达中最简单的。

* 语言'''L₆'''以在形式逻辑中常用的一些符号表达了十六个函数。