题目内容

命题公式A与B是等价的,是指()?(5.0)

A与
B. 有相同的命题变元 A与B都是可满足的
C. 当A的真值为真时,B的真值也为真
D. A和B有相同的真值表

查看答案

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

更多问题

A. 矛盾式
B. 可满足式
C. 重言式
D. 以上都不是

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

A(a)∧A(
B. A(a)∨A(b)
C. A(a)→A(b)
D. A(b)→A(a)

A. ∀x(A(x)→
B. (x))与∀xA(x)→∀xB(x) ∀x(A(x)∨B(x))与∀xA(x)∨∀xB(x)
C. ∀x(A(x)∧B(x))与∀xA(x)∧∀xB(x)
D. ∃x(A(x)∧B(x))与∃xA(x)∧∀xB(x)