定义2.1 设 Op = {¬，∧，∨，⇒，⇔，（，）} 为逻辑运算集合
Σ 被称为签名，其元素是命题变量。现在递归地定义了命题逻辑公式的集合：
§ 所有命题变量，即Σ的所有元素，都是（原子）形式 –
§ 如果甲和乙是公式，则¬ A，（A），A ∧ B，A ∨ B，A ⇒ B，A ⇔乙
也是公式。
拉斯。
所有公式集的优雅递归定义允许我们生成无限多个公式。例如，给定 Σ = { A，B，C } ，
甲∧ B，A ∧乙∧ C，A ∧甲∧ A，C ∧乙∨ A，（¬甲∧ B）⇒（¬ Ç ∨ A）
是公式。（（（A））∨B）也是句法上正确的公式。
W. Ertel，人工智能导论，15
计算机科学本科专业，
DOI 10.1007 / 978-0-85729-299-5_2，©Springer-Verlag
London Limited 2011
定义2.2 我们以下列方式阅读符号和运算符：
t ：“真实”
f ：“假”
一个∧乙：“一和乙”
（否定）（连词）（分离）
（暗示（也称为物质含义））
甲⇔乙：“阿当且仅当乙”（等价）
甲∨乙：“甲或乙”
一个⇒乙：“如果一则乙”
¬一个：“不是一个”
以这种方式定义的公式到目前为止纯粹是没有意义的句法结构。我们仍然缺少语义。
