一些常用的谓词逻辑等价式： ~∀xPx ∃x~Px ~∃xPx ∀x~Px ∃x(P | 古典音乐与哲学

一些常用的谓词逻辑等价式：

~∀xPx ∃x~Px

~∃xPx ∀x~Px

∃x(Px V Qx) ∃xPx V ∃xQx

∀x(Px • Qx) ∀xPx • ∀xQx

∀x(P • Qx) P • ∀xQx

∃x(P • Qx) P • ∃xQx

(∃xPx → Q) ∀x(Px → Q)

(P → ∀xQx) ∀x(P → Qx)