离散数学机试考试单选修改版本.xls

Sheet3 Sheet2 Sheet1 章节 题干 A B C D E F 答案 难度 图片 22 将下列命题用0元谓词符号化:小王学过英语和法语.令 P(x):x学过英语,Q(x):x学过法语,c:小王,命题符号化为( ) P(c)∧Q(c) P(c)∨┐Q(c) ┐P(c)∨Q(c) P(c)→Q(c) 易 将下列命题用0元谓词符号化:2大于3仅当2大于4.令:P(x,y):x大于y, 命题符号化为( ) P(2,4)∧P(2,3) P(2,3)→P(2,4) P(2,4)∧┐P(2,3) P(2,4)→┐P(2,3) 中 21 下列命题可以推出什么结论?p→(q→r), p, q( ) r ┐p ┐q ┐r 下列命题可以推出什么结论?p→q, ┐(q∧r), r ( ) p q 前提条件p→r, q→s, p∧q的有效结论是( ). r∧s ┐s s 下列命题可以推出什么结论?┐p∨r, ┐q∨s, p∧q ( ) 下列命题可以推出什么结论?p→(q→r), s→p, q ( ) s→r ┐p∧s 难 下列命题哪个不是有效推论?p→┐q, ┐r∨q, r∧┐s ( ) 下列命题可以推出什么结论?p∨q, p→r, q→s ( ) r∨s 下述命题公式中,是重言式的为( ). (p→r)∧┐r→┐p (p→q)∧q→p (p→q) r→┐p 设P:我将去市里,Q:我有时间.命题我将去市里,仅当我有时间时符号化为( ). Q→P P→Q P∧Q ┐P∧Q 设命题公式G:┐P→(Q∧R),则使公式G取真值为1时P,Q,R赋值分别是 ( ). 0, 0, 0 0, 0, 1 0, 1, 0 1, 0, 0 命题公式(P∨Q)→Q为( ). 矛盾式 仅可满足式 重言式 合取范式 P→┐Q,P前提条件的有效结论是( ). P ┐P Q ┐Q 有一位父亲对儿子说: 如果我去书店, 就一定给你买电脑报.试问: 在什么情况下, 这位父亲算失信?( ) 父亲去了书店, 给儿子买了电脑报 父亲去了书店, 却没有给儿子买电脑报 父亲没去书店, 却给儿子买了电脑报 父亲没去书店, 也没给儿子买电脑报 命题公式P→Q,当P和Q分别取什么值的时候真值为F.( ) 1,0 1,1 0,1 0,0 两个命题变元恰可构成多少个不等价的命题公式?( ) 4 16 32 64 P,Q,R三个变元可构成多少个不同的小项?( ) 2 8 命题公式┐P∧┐Q∧┐R 当P,Q,R分别取什么的时候真值为T?( ) 0,0,0 1,0,0 1,1,1 1,1,0 命题公式(P∧Q)∨R的主析取范式是( ). ∑1,3,5,6,7 ∑0,2,4 ∑1,3,5 ∑1,3,7 命题公式(P∨Q)∧(P∨┐R)的主合取范式是( ). ∏1,2,4 ∏2,3,4 ∏2,4,5,6,7 ∏0,1,3 命题公式(P∧Q)∨R的对偶式是?( ) (┐P∧Q)∨R (P∧┐Q)∨R (P∨Q)∧R (P∧Q)∨┐R 命题公式┐(P→Q)的主析取范式是( ). P∧┐Q ┐P∨Q P∨┐Q 下列含有命题p,q,r的公式中,是主析取范式的是 ( ). (p ∧ q∧ r) ∨ (┐p ∧ q) (p ∨ q∨ r) ∧ (┐p∧ q) (p ∨q ∨ r) ∧ (┐p ∨ q ∨ r) (p ∧ q∧ r) ∨(┐p ∧ q∧r) 下列各式中,不正确的有( ). p∨(p∧q)等价于p p∧(p→q)蕴含q (p→q)∧(q→r)蕴含p→r p→q等价于┐p∨q 全体小项合取式为( ). 可满足式 永真式 A,B,C 都有可能 全体小项析取式为( ). 已知命题P∧(┐Q∨┐R),则所有使G取真值为0的解释是 ( ). (0, 0, 0), (0, 0, 1), (1, 1, 1) (0, 1, 0), (1, 0, 1), (1, 1, 0) (1, 0, 0), (1, 0, 1), (1, 1, 0) (0, 1, 0), (1, 0, 1), (1, 1, 1) 设A(x):x是羊,B(x):x吃草,命题没有不吃草的羊符号为( ). ┐(存在量词x)(A(x)∧B(x)) ┐(存在量词x)(A(x)∧┐B(x)) ┐(存在量词x)(┐A(x)∧B(x)) ┐(全称量词x)(┐A(x)∧B(x)) P:你努力,Q:你失败.除非你努力,否则你将失败的翻译为( ). ┐P→Q 以下语句是命题的是( ). 我正在说谎 请你跟我走! 中国是一个人口众多的国家 这座楼可真高啊 设谓词P(x,y)表示x等于y,个体变元和的个体域都是{1,2,3}.求下列等式的真值(存在量词x)P(x,3)?( ) 不能确定