命题公式的三种数据类型：

1. 命题常项（常值命题）：它拥有固定的真值，只能是“1”或“0”
2. 命题变元（命题变量）：用大写字母表示的任一命题（本身不是命题，因为无固定真值，只有赋值才能成为命题），命题变元没有具体的真值，它的变域是{真，假}

用命题常项和常值命题赋给命题变元成为给命题变元赋值

命题演算的合式公式（合法的命题形式），又称命题公式按如下规则生成：

1. 命题变元本身就是一个命题公式
2. 如果G 是命题公式，则¬G也是命题公式
3. 如果G，H是命题公式，则（G⋀H），（G⋁H），（G→H），（G↔H）都为命题公式
4. 仅通过有限步使用规则1，2，3所得到的符号串才是命题公式
5. 如果G含有n个命题变元P1，P2，P3…Pn的公式，则将命题公式记为G（P1，P2，P3…Pn）或简记为G

上述定义可知：¬

1. 原子命题是最简单的合式公式
2. 命题公式没有真值，只有对命题变元进行真值指派后，才能确定命题公式的真值
3. 命题公式既可以简单，也可以很复杂

对括号的使用，有如下规定：

1. 命题公式最外层括号可以省略
2. 否定连接词作用于邻接变元时，括号可以省略
3. 五种逻辑连接词的优先级为：

非>合取>析取>蕴含>双条件

真值表

由公式G在其所有可能的解释下所取的真值构成的表，称为G的真值表，真值表中的公式真值结果用黑体字表示

真值表例：

设有公式 G=（P→（（¬P ⟷ Q）∧R））∨Q

其真值表为：