题目内容

下面的推理过程是否正确(1)∀x A(x)∧B(x) 前提引入(2)A(y)∧B(y) (1)UI

A. 错误
B. 正确

查看答案

搜索结果不匹配？点我反馈

更多问题

A. ∃x∃y(x⋅y=2)
B. ∃y∀x(x⋅y=0)
C. ∀x∀y(x⋅y=y)
D. ∀x(x⋅y=x)

A. ¬∀xA(x)与∃x¬A(x)
B. ∀x(A(x)∨B(x))与∀xA(x)∨∀xB(x)
C. ∀x(A(x)∧B(x))与∀xA(x)∧∀xB(x)
D. ∀x∃yA(x,y)与∃x∀yA(x,y)

A. ∀xA(x)∧∀xB(x)⇒∀x(A(x)∨B(x))
B. ∃xA(x)→∀xB(x)⇒∀x(A(x)→B(x))
C. ∀xA(x)→∀xB(x)⇒∀x(A(x)→B(x))
D. ∃x∀yA(x,y)⇒∀y∃xA(x,y)

A. ∀x∃y(F(x,z)→G(x,y))
B. ∀x∀y(F(x,z)→G(x,y))
C. ∀x∀y(F(x,y)→G(x,y))
D. ∀y∀x(F(x,z)→G(x,y))