形考任务三试题及答案
题目为随机，用查找功能(Ctrl＋F)搜索题目
选择题
[题目]设P：我将去打球，Q：我有时间．命题“我将去打球，仅当我有时间时”符号化为()．
[题目]设命题公式G：G:┐p→(Q∧R)，则使公式G取真值为1的P，Q，R赋值分别是()．
[题目]命题公式(P∨Q)→R的析取范式是()．
[题目]命题公式(P∨Q)的合取范式是()．
[题目]命题公式┐(p→Q)的主析取范式是()．
[题目]命题公式P→Q的主合取范式是()．
[题目]下列等价公式成立的为()．
[题目]下列等价公式成立的为()．
[题目]下列公式成立的为()．
[题目]下列公式中()为永真式．
[题目]下列公式()为重言式．
[题目]命题公式(P∨Q)→Q为()
[题目]设A（x）：x是人，B（x）：x是教师，则命题“有人是教师”可符号化为（）．
[题目]设个体域为整数集，则公式的解释可为()．
[题目]表达式中的辖域是()．
[题目]谓词公式(∀x)(A(x)→B(x)∨C(x，y))中的（）。
[题目]设个体域D={a,b,c}，那么谓词公式消去量词后的等值式为()．
[题目]设个体域D是整数集合，则命题的真值是（）．
[题目]前提条件P→┐Q2P的有效结论是()．
判断题
[题目]设P：小王来学校，Q：他会参加比赛．那么命题“如果小王来学校，则他会参加比赛”符号化的结果为P→Q．()
[题目]设P：昨天下雨，Q：今天下雨．那么命题“昨天下雨，今天仍然下雨”符号化的结果为P∧Q．()
[题目]设P：我们下午2点去礼堂看电影，Q：我们下午2点去教室看书．那么命题“我们下午2点或者去礼堂看电影或者去教室看书”符号化的结果为P∨Q．()
[题目]设P：他生病了，Q：他出差了，R：我同意他不参加学习．那么命题“如果他生病或出差了，我就同意他不参加学习”符号化的结果为(P∨Q)→┐R．()
[题目]命题公式P→(Q∨P)的真值是T．()
[题目]命题公式┐P∧P的真值是T．()
[题目]命题公式┐P∧(P∨Q)=>Q成立．()
[题目]命题公式┐P∧(P→┐Q)∨P为永真式．()
[题目]命题公式┐(P→Q)的主析取范式是P∨┐Q．()
[题目]含有三个命题变项P，Q，R的命题公式P∧Q的主析取范式(P∧Q∧R)∨(P∧Q∧┐R)．()
[题目]设P(x)：x是人，Q(x)：x去上课，那么命题“有人去上课．”为(∃x)(P(x)→Q(x))．()
[题目]设P(x)：x是人，Q(x)：x学习努力，那么命题“所有的人都学习努力．”为(∀x)(P(x)∧Q(x))．()
[题目]设个体域D＝{1,2,3}，A(x)为“x小于3”，则谓词公式(∃x)A(x)的真值为T．()
[题目]设个体域D＝{1,2,3,4}，A(x)为“x大于5”，则谓词公式(∀x)A(x)的真值为T．()
[题目]谓词公式┐(∀x)P(x)(∃x)┐P(x)成立．()
[题目]谓词命题公式(∀x)((A(x)∧B(x))∨C(y))中的自由变元为x．()
[题目]谓词命题公式(∀x)(P(x)→Q(x)∨R(x，y))中的约束变元为x．()
[题目]设个体域D＝{a,b},那么谓词公式(∃x)A(x)∨(∀y)B(y)消去量词后的等值式为A(a)∨B(b)．()
[题目]设个体域D＝{a,b}，则谓词公式(∀x)(A(x)∧B(x))消去量词后的等值式为(A(a)∧B(a))∧(A(b)∧B(b))．()
[题目]下面的推理是否正确．()(1)(∀x)A(x)→B(x)前提引入(2)A(y)→B(y)US(1)
点点赞赏，手留余香
给TA打赏
评论0