国开在线答案
- 2022-09-12 [单选] 命题公式P→(Q∨P)的真值是T．( )
- 2022-09-12 [单选] 谓词公式┐(∀x)P(x)(∃x)┐P(x)成立．( )03/001.png
- 2022-09-12 [单选] 设P：昨天下雨，Q：今天下雨．那么命题“昨天下雨，今天仍然下雨”符号化的结果为P∧Q．( )
- 2022-09-12 [单选] 设个体域D＝{a,b},那么谓词公式(∃x)A(x)∨(∀y)B(y)消去量词后的等值式为A(a)∨B(b)．( )
- 2022-09-12 [单选] 设P(x)：x是人，Q(x)：x学习努力，那么命题“所有的人都学习努力．”为(∀x)(P(x)∧Q(x))．( )
- 2022-09-12 [单选] 设个体域D＝{1,2,3}，A(x)为“x小于3”，则谓词公式(∃x)A(x)的真值为T．( )
- 2022-09-12 [单选] 设P：他生病了，Q：他出差了，R：我同意他不参加学习．那么命题“如果他生病或出差了，我就同意他不参加学习”符号化的结果为(P∨Q)→┐R．( )
- 2022-09-12 [单选] 谓词命题公式(∀x)((A(x)∧B(x))∨C(y))中的自由变元为x．( )
- 2022-09-12 [单选] 谓词命题公式(∀x)(P(x)→Q(x)∨R(x，y))中的约束变元为x．( )
- 2022-09-12 [单选] 命题公式┐P∧P的真值是T．( )