合式公式

命题逻辑演算中，经解释后具有意义的命题表达式，亦称公式。它是具有某种结构的有穷长符号串。在以p、q、r为简单命题的逻辑形式系统中，一个表达式为合式公式，当且仅当它能由以下形式规则生成：1.每个命题变元加左、右括号是合式公式。即（p）、（q）、（r）是合式公式。2.如果A是合式公式，那么乛A是合式公式。3.如果A和B是合式公式，那么（A∧B）、（A∨B）、（A→B）、（A■B）都是合式公式。4.只有由1、2或3生成的表达式是合式公式。