如何理解命题公式？

Question

如题所述

Answer 1

用p'表示非p，用乘表示合取，用加表示析取。

[（p+q）→r]→p=[(p+q)'+r]'+p=(p+q)r'+p=pr'+qr'+p=p+qr'

=(p+q)(p+r')。

命题公式(propositional formula)亦称合式公式，是数理逻辑术语，它是按照一定规律形成的符号序列，在命题演算中，公式通常用归纳定义给出，例如，在一个具有五个联结词ᒣ，∨，∧，→，≡的系统中。

下列规则生成:

(1)命题变项是命题公式。

(2)如果A是命题公式，则¬A是命题公式。

(3)如果A和B是命题公式，那么(A∧B)、(A∨B)、(A→B)和(A↔B)都是命题公式。

(4)当且仅当有限次地应用(1)，(2)，(3)所得到的包含命题变项，联结词和圆括号的符号串是命题公式。