基本知识 ·命题逻辑 -合式公式(wel-formed formula) 的归纳定义 中：=pl中1pv中|中入中1中→中1（φ） (1)p代表原子命题，例如x>3,a5]=10.5 原子命题具体形式与讨论的问题领域有关 (2)中代表一般命题，“：=”右部用“|”分隔的 各部分代表命题的构成形式，如0<=x人x<100 (3)入，V,一和→代表合取、析取、非和蕴涵运算， 在确定了它们的运算优先关系后，很多情况下括 号可以省略，如pV(q1入q2)可简化为pVq1入q2 备注：蕴涵采用→而不是→，→用于描述函数类型基 本 知 识 • 命题逻辑 – 合式公式（well-formed formula）的归纳定义  ::= p |   |    |    |    | ( ) (1) p代表原子命题，例如 x > 3, a[5] == 10.5 原子命题具体形式与讨论的问题领域有关 (2)  代表一般命题，“::=”右部用“| ”分隔的 各部分代表命题的构成形式，如 0<= x  x <100 (3) , , 和代表合取、析取、非和蕴涵运算， 在确定了它们的运算优先关系后，很多情况下括 号可以省略，如p  (q1  q2 )可简化为p  q1  q2 备注：蕴涵采用而不是→， →用于描述函数类型 10