2. 6前束范式
练习:求下列公式的前束析取范式和前束合取范式.
(1) ((x) F ( x, y) (y)G( y )) (x) H ( x, y) (2) (x){(y) A( x, y ) (x)(y)[B( x, y ) (y)( A( y, x) B( x, y))]}
9
第二章 谓词逻辑（Predicate Logic）
2. 6前束范式(Prenex normal form)
•
(6) (x ){( y ) A( x, y ) (x )(y )[ B ( x, y ) (y )( A( y , x ) B ( x, y ))]}
(x ){(y ) A( x, y ) ( x )(y )[ B ( x, y ) (y )(A( y , x ) B ( x, y ))]} (x ){( y ) A( x, y ) (x )(y )[B ( x, y ) ( y )( A( y , x ) B ( x, y ))]}
11
2. 6前束范式
前束析取范式
• 定义 : 任何一个谓词公式 A ，如果具有如下形式则称为 前束析取范式： (□x1) (□x2)…(□xn)[(A11∧A12∧…∧A1k1)∨ (A21∧A22∧…∧A2k2 )∨…∨(Am1∧Am2∧…∧Amkm)] 其中n大于等于1,Aij(j=1, …,ki ,i=1,2,3,…,m)为原子谓词公 式或其否定,□为量词或量词， xi（i=1，… n）为客 体变元. 例如： (x)(u )(z )((P (x ) Q (x , y )) (P (u ) Q ( y , z ))
离散数学(Discrete Mathematics)
1
