离散数学第2版课件作者王元元离散第14，15讲谓词演算永真式(上,下).pptVIP

第14讲 谓词演算永真式 量词嵌套语句的谓词形式化 每个人都有些缺点 M(x): x是人；F(x): x是缺点；H(x,y):x有y ?x (M(x)→ ?y(F(y)∧H(x,y))) 每个人都有人爱，但没有人为所有人爱 M(x)：x是人，L(x,y)：x爱y ?x (M(x)→?y(M(y)∧L(y,x)))∧ ┐?x (M(x)∧?y(M(y)→L(y,x))) 有且仅有一个偶质数 P(x)：x是偶数；Q(x)：x是质数 ?!x(P(x)∧Q(x)) ?x(P(x)∧Q(x)∧?y(P(y)∧Q(y)→x=y)) ?x(P(x)∧Q(x))∧?x?y(P(x)∧Q(x)∧P(y)∧Q(y) →x=y) 量词嵌套语句的谓词形式化 并不是火车都比汽车跑的快，有的汽车比有的火车跑的快 T(x): x是火车；C(x): x是汽车；F(x,y):x比y快 ┐?x (T(x)→?y(C(y)→F(x,y))∧?x(C(x)∧?y(T(y)∧F(x, y) ┐?x?y(T(x)∧C(y)→F(x,y))∧?x(C(x)∧?y(T(y)∧F(x, y) 有位妇女已搭乘过世界上每一条航线上的航班 W(x)：x是妇女；L(x)：x是航线；F(x)：x是航班 Q(x, y)：x是y航线上的航班； P(x, y)：x搭乘过y航班 ?x(W(x)∧?y(L(y)→?z(F(z)∧Q(z,y)