合式公式heshi gongshi

在命题逻辑中，用符号串表示命题的式子.如字母P,Q,R等代表命题变元.则合式公式定义如下：
❶ 单独一个命题变元是合式公式；

❷ 若A是合式公式， 则 (⇁A) 也是合式公式；

❸ 若A,B都是合式公式，则 (A∨ B),(A∧B),(A→B), (A↔B) 也是合式公式；

❹ 当且仅当有限次地应用 (1),(2),(3)，得到的符号串才是合式公式.
合式公式简称公式. 这是用归纳 （递归）形式给出的定义，其中❶称为基础，
❷,
❸称为归纳，
❹称为界限 （最小性）.
例如， ( ( ( (p→Q) ↔R) ∧ (Q∨ 露)) ∨P) 是合式公式；但P→∨ Q不是合式公式，因为∨Q不是合式公式.

合式公式

简称“公式”。形式语言中按照形成规则构成的符号串。