国开在线答案
- 2022-09-12 [单选] 设个体域D＝{a,b}，则谓词公式(∀x)(A(x)∧B(x))消去量词后的等值式为(A(a)∧B(a))∧(A(b)∧B(b))．( )
- 2022-09-12 [单选] 设P(x)：x是人，Q(x)：x去上课，那么命题“有人去上课．”为(∃x)(P(x)→Q(x))．( )
- 2022-09-12 [单选] 设P：我们下午2点去礼堂看电影，Q：我们下午2点去教室看书．那么命题“我们下午2点或者去礼堂看电影或者去教室看书”符号化的结果为P∨Q．( )
- 2022-09-12 [单选] 设P：小王来学校，Q：他会参加比赛．那么命题“如果小王来学校，则他会参加比赛”符号化的结果为P→Q．( )
- 2022-09-12 [单选] 命题公式┐P∧(P∨Q)Q成立．( ) 03/003.png
- 2022-09-12 [单选] 命题公式┐P∧(P→┐Q)∨P为永真式．( )
- 2022-09-12 [单选] 含有三个命题变项P，Q，R的命题公式P∧Q的主析取范式(P∧Q∧R)∨(P∧Q∧┐R)．( )
- 2022-09-12 [单选] 设个体域D＝{1,2,3,4}，A(x)为“x大于5”，则谓词公式(∀x)A(x)的真值为T．( )
- 2022-09-12 [单选] 命题公式┐(P→Q)的主析取范式是P∨┐Q．( )
- 2022-09-12 [单选] 把数据存储到计算机中，并具体体现数据元素间的逻辑结构称为（ ）。