国开电大22春学期离散数学(本)形考任务3答案

形考任务3答案.doc

下载:2904 次

【上面答案为下列试题答案,请核对试题后再购买】www.botiku.com零号电大
题目顺序是随机的,使用查找功能(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是数学书,则命题“不是所有书都是数学书”可符号化为(    ).
题目:设A(x):x是人,B(x):x是教师,则命题“有人是教师”可符号化为(    ).
题目:设个体域为整数集,则公式 的解释可为(    ).
答案:对任一整数x存在整数y满足x+y=0
题目:表达式 中 的辖域是(    ).
题目:谓词公式(?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)

回复

使用道具 举报

快速回复 返回顶部 返回列表