AI3确定性推理2课题.pptVIP

*;智能决策支持系统研究进展;*;*;*;*;*;*;*;*;*;*;*;*;*;*;思考题;*;*;*;*;*;*;*;*;*;*;*;*;练习;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;练习;3.对下列各题分别证明G是否为F1,F2,…,Fn的逻辑结论： （1）F: ( x)( y)(P(x, y) G: ( y)( x)(P(x, y) （2) F: ( x)(P(x)∧(Q(a)∨Q(b))) G: ( x) (P(x)∧Q(x)) (3) F: ( x)( y)(P(f(x))∧(Q(f(y))) G: P(f(a))∧P(y)∧Q(y) (4) F1: ( x)(P(x)→( y)(Q(y)→ L(x.y))) F2: ( x) (P(x)∧( y)(R(y)→L(x.y))) G: ( x)(R(x)→ Q(x)) (5) F1: ( x)(P(x)→(Q(x)∧R(x))) F2: ( x) (P(x)∧S(x)) G: ( x) (S(x)∧R(x)) ;;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*