合式公式的定义

一个合式公式是由逻辑符号与原子命题组成，且符合语法规则的表达式。它由以下几部分组成：

1.原子命题：一个原子命题是一个简单的命题，它不能被分解成其他命题。

2.逻辑符号：逻辑符号用来连接原子命题和构建更复杂的命题，包括否定、合取、析取、蕴含、等价和括号。

3.语法规则：合式公式必须遵守一定的语法规则，如括号匹配、否定符号的位置等。

一个合式公式可以是一个原子命题，也可以是由逻辑符号和原子命题组成的复杂命题。例如，"p"是一个原子命题，"p ∧ q"是一个由合取符号连接的复杂命题。