单项选择题

下面推理中哪些是正确的
Ⅰ. 前提:"x(F(x)→G(x)),$xF(x)
结论:$xG(x)
Ⅱ. 前提:$xF(x)→"y(G(y)→H(y)),$xL(x)→$yG(y)
结论:$x(F(x) L(x))→$yH(y)
Ⅲ. 前提:$xF(x),$xG(x)
结论:$x(F(x) G(x))
Ⅳ. 前提:$x(F(x)ˇG(x))
结论:"yF(y)

A.Ⅰ与Ⅱ正确
B.Ⅲ与Ⅳ正确
C.Ⅰ、Ⅱ、Ⅲ都正确
D.只有Ⅰ正确
题目列表

你可能感兴趣的试题

微信扫码免费搜题