命题公式

常值命题

命题变量

• 命题变元本身就是一个公式
• 加上非也是公式
• 用联结词连接的也是公式
• 用上面的规则所得到的包含命题变量，联结词和括号的符号串就是命题公式

$$G(P_1,P_2,P_3,\dots )$$

在实际应用中，命题公式常用 二叉树 来表达

解释

命题公式的分类