Question

合式公式如何判定？（离散数学）

Answer 1

(1)单个命题常项或变项是合式公式；
(2)如果A是合式公式，则﹁A也是合式公式；
(3)如果A，B是合式公式，则P∧Q、P∨Q、P®Q、 P«Q也是合式公式；
(4)只有有限次地应用(1)～(3)所包含的命题变元，联结词和括号的符号串才是合式公式。
今后我们将合式公式称为命题公式，或简称为公式。