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)
A. 全称量词消去规则(UI) B. 全称量词推广规则(UG) C. 存在量词消去规则(EI) D. 存在量词推广规则(EG)
A. 某本书中第a页上汉字的全体 B. 很大数的全体 C. 全体高个子的人 D. 全部接近于0的数
A. ∅ B. 1 C. {1} D. 2
A. 自反性 B. 反自反性 C. 对称性 D. 反对称性 E. 传递性
A. 自反性 B. 反自反性 C. 对称性 D. 反对称性
微信支付 
支付宝支付