人工智能及其应用 课后答案

第二章开始的答案~~~~~ 对下列各题分别证明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))