简答题的前束范式是 A (┐R(x)∧Q(x,y)) B (┐R(x)∧Q(x,y)) C (┐R(x)∨Q(x,y)) D (┐R(x)∨Q(x,y))简答题4．下列谓词公式中x即是约束变元也是自由变元的是 A (∀x) (A(x)→B(x)) B (∀x)( P(x)→(∃y)R(x,y)) C (∀x) (∀y) A(x,y) ∧(∃y)B(x,y) D (∃y)( P(x)∧Q(x,y))简答题5．设谓词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))简答题8.“所有的学生今天都没来上课”，设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都可以简答题2．对谓词公式(ꓯx )(A(x)→B(x,y))∧C(x,y)换名(换元)正确的是 A ( ꓯz) (A(z)→B(z,y))∧C(z,y) B (ꓯ z) (A(z)→B(z,y))∧C(x,y) C (ꓯ y)(A(y)→B(y,y))∧C(x,y) D (ꓯx )(A(x)→B(x,z))∧C(x,z)简答题1．下列等价式正确的是 A ┐(ⱻx）A（x）↔(ⱻx）┐A（x） B （ꓯx）（ꓯy）A（x,y）↔（ⱻx）（ꓯy）A（x,y） C ┐(ꓯx）A（x）↔(ⱻx）┐A（x） D (ꓯx)(A(x)∧B(x))↔(ꓯx)A(x)∨(ꓯx)B(x)简答题6．下列等价式正确的是 A (∀x) (∀y)Q(x,y)→(∃x) (∀y)Q(x,y) B (∀x) (∀y)Q(x,y)→(∀x) (∀y)Q(x,y) C (∃x) (∀y)Q(x,y)→(∃x) (∀y)Q(x,y) D (∀x) (∀y)Q(x,y)→(∃y) (∃x)Q(x,y)简答题7.推理中若要消除(∃ x)Q(x) 存在量词，可以使用规则 A US B US C UG D EG