题目内容

∀xA(x)∨A(y)是命题

A. 错误
B. 正确

查看答案

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

更多问题

∀x∃yA(x,y)⇔∃y∀xA(x,y)

A. 错误
B. 正确

同一谓词公式,指定不同的论域,其真值不一定相同

A. 错误
B. 正确

对公式∃x(P(z)∧Q(x,z)∧M(z,y))∨R(z)中自由变量代入后,有∃x(P(z)∧Q(a,z)∧M(z,b))∨R(z)

A. 错误
B. 正确

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

A. 错误
B. 正确