2026年命题逻辑练习题附答案

2026年命题逻辑练习题附答案一、单项选择题1.下列语句中，属于命题的是（）A.2026年杭州亚运会会徽设计包含互联网元素吗？B.请关闭当前打开的文档窗口C.除了地球之外，宇宙中一定存在适合人类居住的行星D.x+y大于20262.设p表示“小王是2026届计算机专业毕业生”，q表示“小王是2026届软件工程专业毕业生”，则命题“小王是2026届计算机专业毕业生且不是软件工程专业毕业生”可符号化为（）A.p∧¬qB.p∨¬qC.¬(p∧q)D.¬(p∨¬q)3.命题公式(p→(q→r))与(p∧q)→r的等值关系是（）A.等值B.不等值C.可满足D.矛盾4.下列命题公式中，属于重言式的是（）A.(p∨q)→(p∧q)B.(p→q)∧(q→p)C.(¬p∨q)∧(p∨¬q)D.(p→(q∨r))→((p→q)∨(p→r))5.根据命题逻辑对偶原理，下列说法正确的是（）A.原公式为永真式，对偶式也一定为永真式B.若原公式A和B等值，则A的对偶式和B的对偶式等值C.原公式为永假式，对偶式一定不是永假式D.对偶式和原公式一定等值6.设A是任意命题公式，B是一个永真式，则A∨B和A∧B的类型分别是（）A.永真式、永真式B.可满足式、永真式C.永真式、A的类型D.A的类型、可满足式7.下列联结词集合中，属于功能完备联结词集的是（）A.{¬}B.{∧,∨}C.{¬,→}D.{↔}8.命题公式((p∧q)→r)∧(p→q)→(p→r)的主析取范式中，包含多少个极小项（）A.3B.5C.7D.89.若命题公式A和B等值，则下列说法错误的是（）A.A↔B是永真式B.A和B必然有相同的主范式C.A和B必然有相同的真值表D.A和B必然有相同的对偶式10.推理“如果今天下雨，我就要带伞；今天我带伞了，所以今天一定下雨了”的逻辑错误是（）A.否定前件谬误B.肯定后件谬误C.违反拒取式规则D.违反附加律规则单项选择题答案：1.C2.A3.A4.D5.B6.C7.C8.D9.D10.B二、多项选择题1.下列命题公式中，属于矛盾式（永假式）的有（）A.¬(p→q)∧qB.p↔¬pC.(p∧¬p)→qD.p∧¬p2.下列关于主析取范式和主合取范式的说法，正确的有（）A.任何命题公式都存在唯一的主析取范式和主合取范式（不考虑变元顺序和极小项排序的前提下）B.重言式的主合取范式为1，不包含任何极大项C.矛盾式的主析取范式为0，不包含任何极小项D.n个变元的可满足式的主析取范式至少包含一个极小项3.前提为p→q，q→r，下列结论中可以从前提有效推出的有（）A.p→rB.¬r→¬pC.p∨qD.r→p4.下列推理规则中，属于命题逻辑自然推理系统中正确的推理规则有（）A.假言推理：A→B，A推出BB.拒取式：A→B，¬B推出¬AC.析取三段论：A∨B，¬A推出BD.合取引入：A，B推出A∧B5.设p、q是两个命题，下列命题公式中与p→q等值的有（）A.¬p∨qB.¬(p∧¬q)C.q→pD.¬q→¬p多项选择题答案：1.ABD2.ABCD3.AB4.ABCD5.ABD三、命题符号化题1.将命题“除非你完成期末作业和平时实验，否则你不能通过这门离散数学课”符号化。答案：设p：你完成期末作业，q：你完成平时实验，r：你能通过这门离散数学课，符号化结果为r→(p∧q)，等价形式¬(p∧q)→¬r也正确。2.将命题“小王和小张是好朋友，他们两人都参加了2026年的全国大学生程序设计竞赛”符号化。答案：设p：小王和小张是好朋友，q：小王参加2026年全国大学生程序设计竞赛，r：小张参加2026年全国大学生程序设计竞赛，符号化结果为p∧q∧r。3.将命题“只有天气晴朗并且风力不超过三级，我们才会去户外露营”符号化。答案：设p：天气晴朗，q：风力不超过三级，r：我们去户外露营，符号化结果为r→(p∧q)。4.将命题“这个数要么是质数，要么是合数，除非它是1”符号化。答案：设p：这个数是质数，q：这个数是合数，r：这个数是1，符号化结果为¬r→((p∨q)∧¬(p∧q))，也可写成¬r→(p⊕q)。5.将命题“如果我今天不参加会议也不出去玩，那我就在宿舍写论文”符号化。答案：设p：我今天参加会议，q：我今天出去玩，r：我在宿舍写论文，符号化结果为(¬p∧¬q)→r。四、真值表判定题1.用真值表法判定公式¬(p→q)∧q是重言式、矛盾式还是可满足式。答案：列出真值表如下：pqp→q¬(p→q)¬(p→q)∧q111001001001100001002.用真值表法判定公式((p→q)∧(q→r))→(p→r)是否为永真式。答案：列出真值表如下：pqrp→qq→r(p→q)∧(q→r)p→r((p→q)∧(q→r))→(p→r)1111111111010001101010111000100101111111010100110011111100011111五、等值演算与范式题1.用等值演算法证明：(p→q)∨(p→r)⇔p→(q∨r)。证明：左边=(¬p∨q)∨(¬p∨r)，结合律交换律后可得¬p∨¬p∨q∨r=¬p∨q∨r=¬p∨(q∨r)=p→(q∨r)=右边，因此等值关系得证。2.求命题公式(p→q)∧(p→r)的主析取范式和主合取范式，原子变元为p、q、r，p为最高位。解答：首先化简原公式：(¬p∨q)∧(¬p∨r)=¬p∨(q∧r)（分配律）。对命题进行拆分解，补全所有变元得到极小项：¬p=¬p∧(q∨¬q)∧(r∨¬r)=(¬p∧¬q∧¬r)∨(¬p∧¬q∧r)∨(¬p∧q∧¬r)∨(¬p∧q∧r)，q∧r=(p∨¬p)∧q∧r=(p∧q∧r)∨(¬p∧q∧r)，合并去重后得到主析取范式：m₀∨m₁∨m₂∨m₃∨m₇=(¬p∧¬q∧¬r)∨(¬p∧¬q∧r)∨(¬p∧q∧¬r)∨(¬p∧q∧r)∨(p∧q∧r)。剩余未出现的极小项对应极大项编号为4、5、6，因此主合取范式为M₄∧M₅∧M₆=(¬p∨q∨r)∧(¬p∨q∨¬r)∧(¬p∨¬q∨r)。六、推理证明题1.在自然推理系统中证明，从前提¬p∨q，r∨¬q，r→s，p，可以推出结论s。证明：①p前提引入②¬p∨q前提引入③q①②析取三段论④r∨¬q前提引入⑤r③④析取三段论⑥r→s前提引入⑦s⑤⑥假言推理结论得证。2.证明推理：前提①如果小张守第一垒并且小李向乙队投球，则甲队将获胜；②甲队没有获胜，或者甲队获得了2026年甲级联赛冠军；③甲队没有获得2026年甲级联赛冠军，并且小张守住了第一垒。结论：小李没有向乙队投球。证明：设p：小张守第一垒，q：小李向乙队投球，r：甲队获胜，s：甲队获得2026年甲级联赛冠军。①¬s∧p前提引入②¬s①化简③p①化简④¬r∨s前提引入⑤¬r②④析取三段论⑥(p∧q)→r前提引入⑦¬(p∧q)⑤⑥拒取式⑧¬p∨¬q⑦置换⑨¬q③⑧析取三段论结论得证。3.A、B、C三个同学中有一人做了一件好事，老师询问是谁做的，A说：不是我做的；B说：是C做的；C说：不是我做的。已知三个人中只有一个人说真话，用命题逻辑推理推出谁做了好事。解：设p：好事是A做的，q：好事是B做的，r：好事是C做的。由题意得，只有一人做好事，约束条件为(p∨q∨r)∧¬(p∧q)∧¬(p∧r)∧¬(q∧r)