- 初始符号（initial symbol）：
命题变项（propositional variables）：p, q, r, ...
真值联结词（truth-connectives）：¬, ∧, ∨, →, ↔ (not, and, or, if-then, iff) - 形成规则（formation rules）：
FR1. 单独一个命题变项是公式（原子公式）;
FR2. 如果α是公式，则¬α也是公式;
FR3. 如果α, β都是公式，则(αβ)也是公式;
这里的 := ∧, ∨, →, ↔ - 合式公式（Wff-well formed formula）:
有限次应用FR1~FR3规则所构成的有限符号串称为合式公式（简称公式） - 括号省略的原则：
- 最外层括号省略
- 使用优先级
- ¬（高）
- ∧, ∨（中）
- →, ↔（低）
- 指派（value-assignment）
给公式所涉及到的所有命题变项（原子公式）的每一个指派一个真值的过程称为一个指派。
例如指派π=(p1^o, p2^o, ..., pn^o)，则公式α在该指派π下的真值记为α(π)或者α^π或α(p1^o, p2^o, ..., pn^o)。
- 成真指派（verifying value-assignment）：使α(π)=t的指派π称为公式α的一个成真指派。
- 成假指派（falsifying value-assignment）：使α(π)=f的指派π称为公式α的一个成家指派。
- 一个公式α=α(p1, p2, ..., pn)共有2^n个指派
- 真值表（truth-table）：
将一公式在所有指派下形成真值的过程（即中间需要将所有依赖都写出来）排列起来形成一张表，这张表就称为真值表。
- 真值表原子公式的指派应该按二进制编码按降序排列（ttt -> fff）
- 指派编号=2^n-原子公式指派的二进制编码
- 最左列的指派编号可以省略
- 指派也称为赋值（value-assignment）。符号π也可用v表示。
- 成真指派也称证实赋值
- 成假指派也称弄假赋值