零阶逻辑是在与布尔函数一元谓词演算命题逻辑句子逻辑有关主题的从业人员中流行的术语。使用这个术语的好处是它确立了更高的抽象层次,在其中上述这些主题之间的很无关紧要的区别可以在这个中肯的同构下被包容。

向着最初的方向,表1列出了具体类型X × Y → B和抽象类型 B × B → B的十六个函数在零阶逻辑的不同语言中的等价表达。

表1. 在两个变量上的命题形式
L1 L2 L3 L4 L5 L6
  x : 1 1 0 0      
  y : 1 0 1 0      
f0 f0000 0 0 0 0 ( ) 0
f1 f0001 0 0 0 1 (x)(y) 非x且非y ¬x ∧ ¬y
f2 f0010 0 0 1 0 (x) y y且非x ¬x ∧ y
f3 f0011 0 0 1 1 (x) 非x ¬x
f4 f0100 0 1 0 0 x (y) x且非y x ∧ ¬y
f5 f0101 0 1 0 1 (y) 非y ¬y
f6 f0110 0 1 1 0 (x, y) x不等于y x ≠ y
f7 f0111 0 1 1 1 (x y) 不x且y ¬x ∨ ¬y
f8 f1000 1 0 0 0 x y x且y x ∧ y
f9 f1001 1 0 0 1 ((x, y)) x等于y x = y
f10 f1010 1 0 1 0 y y y
f11 f1011 1 0 1 1 (x (y)) 非x若非y x → y
f12 f1100 1 1 0 0 x x x
f13 f1101 1 1 0 1 ((x) y) 非y若非x x ← y
f14 f1110 1 1 1 0 ((x)(y)) x或y x ∨ y
f15 f1111 1 1 1 1 (( )) 1


六种语言

编辑

对十六个布尔函数的六种语言按如下次序方便的描述:

  • 语言L3描述每个布尔函数f : B2B,通过四个布尔值的序列 (f(1,1), f(1,0), f(0,1), f(0,0))的方式。这样的一个序列,可能在另一个次序下,并可能带有逻辑值FT分别替代布尔值0和1,并通常显示为真值表中的一列。
  • 语言L2fi的形式列出十六个函数,这里的索引i是从L3中的布尔值序列形成的位串
  • 语言L1符号表示布尔函数fi带有同L2中的二进制索引等价的十进制索引i
  • 语言L4使用逻辑连结词表达了十六个函数,通过以乘积的方式连接函数名字或命题表达式的方式,加上极小否定算子家族来表示,用下列各种符号给出几个极小否定算子:

还要注意是同相同的函数,并且的包含析取表示可以替代为排斥析取而不影响意义,因为参与析取的项已经是分离了的。但是,函数和函数不是相同的东西。

  • 语言L5列出了这十六个函数的日常语言表达,它们是多种同义的表达中最简单的。
  • 语言L6以在形式逻辑中常用的一些符号表达了十六个函数。

参见

编辑