3.4对下列各题分别证明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)→[img=1x1]17e0a6a55067d30.gif[/img]L(x.y)))F2:(Ǝx)(P(x)∧(ꓯy)(R(y)→L(x.y)))G:(ꓯx)(R(x)→[img=1x1]17e0a6a55067d30.gif[/img]Q(x))(5)F1:(ꓯx)(P(x)→(Q(x)∧R(x)))F2:(Ǝx)(P(x)∧S(x))G:(Ǝx)(S(x)∧R(x))

在谓词公式("x)(F(x)ÞG(y))Þ($y)(H(x)∧L(x,y,z))中，("x)的辖域是（） A: (F(x)ÞG(y)) B: F(x) C: (F(x)ÞG(y))Þ($y)(H(x)∧L(x,y,z)) D: ("x)(F(x)

双组分理想溶液的t-x-y图中，上方曲线称为（ ）。 A: 过冷液相线 B: 饱和液相线 C: 饱和蒸气线 D: 过热蒸气线

在谓词公式("x)(F(x)ÞG(y))Þ($y)(H(x)∧L(x, y, z))中，("x)的辖域是（ ） A: (F(x)ÞG(y)) B: F(x) C: (F(x)ÞG(y))Þ($y)(H(x)∧L(x, y, z)) D: ("x)(F(x)

在谓词逻辑中，令F（x)表示x是火车，G（y)表示y是汽车，L（x，y)表示x比y快，命题 "并不是所有的火车比所有的汽车快"的符号表示中哪些是正确的？Ⅰ.┐"x"y（F（x)∧G（y)→L（x，y))Ⅱ.$x$y（F（x)∧G（y)∧┐L（x，y))Ⅲ.$x$y（F（x)∧G（y)→┐L（x，y)) A: 仅Ⅰ B: 仅Ⅱ C: Ⅰ和Ⅱ D: 都不对