1 / 18
文档名称:

c1命题逻辑.doc

格式:doc   大小:236KB   页数:18页
下载后只包含 1 个 DOC 格式的文档,没有任何的图纸或源代码,查看文件列表

如果您已付费下载过本站文档,您可以点这里二次下载

分享

预览

c1命题逻辑.doc

上传人:iris028 2019/11/16 文件大小:236 KB

下载得到文件列表

c1命题逻辑.doc

文档介绍

文档介绍:《 离散数学  》教学中心:专业层次:姓名:学号:座号:同步测试1、:。(PQ)(QP)的主析取范式为或(PQ)(PQ)(PQ),主合取范式为:或PQ。、B、C和D四个人中派两个人出差,需要满足下列条件:(1)若A去,则C和D中要去一人;(2)B和C不能都去;(3)C去则D要留下。则有3 种派法,分别为AC,AD,BD。:P(P(Q(QR))则它的成真指派为001,010,011,100,101,110,111,成假指派为000。5、下列句子中,(1)(3)(5)是命题。(1)我是教师。(2)禁止吸烟!(3)蚊子是鸟类动物。(4)上课去!(5)月亮比地球大。6、设P:我生病,Q:我去学校。(1)命题“我虽然生病,但我仍然去学校”,符号化为;(2)命题“只有在生病的时候,我才不去学校”,符号化为(?);(3)命题“如果我生病,那么我不去学校”,符号化为;7、设P:我有钱,Q:我去看电影。(1)命题“虽然我有钱,但我不去看电影”,符号化为;(2)命题“当且仅当我有钱时,我才去看电影”,符号化为;(3)命题“如果我有钱,那么我就去看电影”,符号化为;8、设P:这个材料有趣,Q:这些****题很难,R:这门课程让人喜欢。(1)命题“这个材料有趣,并且这些****题很难”,符号化为;(2)命题“这个材料无趣****题也不难,而且这门课程也不让人喜欢”,符号化为;(3)命题“如果这个材料无趣****题也不难,那么这门课程就不会让人喜欢”,符号化为;(4)命题“这个材料有趣,意味着这些****题很难,并且反之亦然”,符号化为;(5)命题“或者这个材料有趣,或者这些****题很难,并且两者恰具其一”,符号化为9、设P:上午下雨,Q:我去看电影,R:我在家读书或看报。则命题“假如上午不下雨,我去看电影,否则我在家读书或看报”,符号化为;10、设P:一个数是素数,Q:一个数能被1整除,R:一个数能被它本身整除:,S:一个数能被1和它本身以外的数整除。则命题“一个数是素数当且仅当它只能被1和它自身整除”,符号化为;11、设P:今天下雨,Q:今天我进城。则命题“我今天进城,除非下雨”,符号化为;11、设P:你走,Q:我留下。则命题“仅当你走,我将留下”,符号化为;12、对于下列各式,是用真实的有(1)(2)(4)(1);(2);(3);(4);(5);13、14、15、对于下列各式:(1)可化简为;(2)可化简为;(3)可化简为16、命题的成真赋值为010,100,101,110,111,成假赋值为000,001,01117、用两种形式写出的对偶式,18、两个重言式的析取是重言式,一个重言式与一个矛盾式的析取是重言式19、A、B为两个命题公式,当且仅当是重言式,当且仅当是重言式20、设为两个命题,吸收律可表示为,德摩根律可表示为21、公式的只含联结词的等值式为,它的对偶式为22、命题公式,则其对偶式为23、公式的反换式为,逆反式为24、任意两个不同极小项的合取为永假式,全体极小项的析取式必为永真式25、命题公式的主析取范式为,主合取范式的编码表示为26、已知公式的主合取范式为,主析取范式的编码表示为27、命题公式的主析取范式为,编码表示为;主合取范式的编码表示为28、对于前提:,其有效结论为29、对于前提:,其有效结论为30、个命题变元生成的命题公式本质上是一个由的函数31、命题公式的主合取范式为32、的主析取范式为33、一个命题公式的成真指派为000,001,010,100,110,则其主合取范式为?34、公式的主合取范式中含3?。正确的在括号内填√,错误的在括号内填×。1、设A、B、C为任意命题公式,若ABBC,则AB。 (×)2、设A、B为任意命题公式,若AB,则AB。     (√)3、公式是重言式。              (√)4、公式PQ是合取范式,不是析取范式。           (×)5、所有极大项的析取为永真式。                (√ )6、一个命题公式可以有多个与之等价的析取范式。        (√ )7、任一命题的主合取范式是唯一的。              (√)8、下面推理是正确的:                    (×)(1)PQ   P(2)P    P(3)Q    T(1)(2)9、公式(PQ)(RS)的对偶式为(PQ)(RS)。   (×)10、公式(PQ)(PR)与P(QR)。           (√)三、在每小题的备选答案中只有一个正确答案,将正确答案序号填入下列叙述中的括号内(多选不给分)。    1、给定命题公式如下:A.(PQ)(PQ)(QP)B.(PP)QC.(PP)((QQ)R)则重言