简答题\n 设H(x,y)表示x大于y，则“如果2大于3，那么2大于4”可以用谓词公式表示为： A H(2,3) ∧H(2,4) B H(2,3) →H(2,4) C H(2,3) →┐H(2,4) D H(2,3) ∨H(2,4) \n简答题\n ()(R(x)→(y)Q(x,y))的前束范式是 A (y) () (┐R(x)∧Q(x,y)) B ()(y) (┐R(x)∧Q(x,y)) C (y) ()(┐R(x)∨Q(x,y)) D ()(y) (┐R(x)∨Q(x,y)) \n简答题\n 推理中若要消除(∃ x)Q(x) 存在量词，可以使用规则 A US B ES C UG D EG \n简答题\n 下列等价式正确的是 A B C D \n简答题\n 设谓词F(x):x是人,G(x):x是呼吸的,则“没有不呼吸的人”可表示为 A (x)(F(x)∧┐G(x)) B ┐(x)(F(x)→┐G(x)) C (x)(F(x)∧G(x)) D (x)(F(x)→G(x)) \n简答题\n 下列等价式正确的是 A B C D \n简答题\n “所有的学生今天都没来上课”，设P(x):x今天来上课，M(x):x是学生 可用谓词公式表示为 A ┐(∃x)(M(x)∧P(x)) B (∃x)(M(x)∧┐P(x)) C (∀x) (M(x)→┐P(x)) D A和C都可以 \n