题目内容
(请给出正确答案)
[主观题]
对下列各题分别证明G是否为F1,F2,…,FN的逻辑结论。 (1)F1:(z)(y)P(x,y) G:(y)(x)
对下列各题分别证明G是否为F1,F2,…,FN的逻辑结论。 (1)F1:(z)(y)P(x,y) G:(y)(x)P(x,y) (2)F1:(x)(P(x)∧(Q(a)∨Q(b))) G:(z)(P(x)∧Q(x)) (3)F1:(x)(y)(P(f(x))∧Q(f(b))) G:P(f(a))∧P(y)∧Q(y) (4)F1:(x)(P(x)→(y)(Q(y)→~L(x,y))) F2:(z)(P(x)∧(y)(R(y)→L(x,y))) G:(x)(R(z)→~Q(x)) (5)F1:(x)(P(x)→(Q(x)∧R(x))) F2:(x)(P(x)∧S(x)) G:(x)(S(x)∧R(x)) (6)F1:(z)(A(z)∧~B(z)→(y)(D(z,y)∧C(y))) F2:(z)(E(z)∧A(z)∧(y)(D(z,y)→E(y))) F3:(z)(E(x)→~B(z)) G:(z)(E(z)∧C(z))
如搜索结果不匹配,请 联系老师 获取答案