逻辑课练习题附答案

《逻辑课练习题附答案》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、练习题（一）答案一、给A，B指派真，给X，Y指派假，下列真值形式有何真值？1、X→（X→X）2、（X→X）→X3、A→（B→Y）TTFTFF4、（X→A）→（B→Y）5、（X∨B）∧（Y∧A）TFTFFF6、（X→A）→（ØX→ØA）7、（X∧B）∨（Y∧A）TTFFFFFF8、（（A∧B）→X）→（A→（B→Y））9、（（A∧Y）→A）→（A→（B→X））TFFFFFTFTF10、（X→（A→Y））→（（X→A）→Y）FTTFF二、已知A，B为真，X，Y为假，P，Q的真值不知，下面哪些真值形式有真的真值？1、X→（ØY→Q）2、ØY→（P→ØX）TTT?

2、TTT3、（P∨A）→（Q∧X）4、（P→A）→（B→Y）TFTFFF5、Ø（P∧X）→Y6、（Q∨B）→X∧YFTFTFF7、（P→Q）→（ØQ→ØP）……T8、（P→Q）→（P→（Q→A）→（P→A））?TTTTT9、（A→P）→（A→（P→Q）→（A→Q））??????10、（P→X）→（P→（X→Q））→（P→Q）?T?T……T11、（X∧Q）∨（P∧A）→P12、（X∨P）∧（A∨Q）→QF?T……?T?三、符号化以下推理，并用恰当的方法判定它们是否为重言式。（至少使用真值表法、、归谬赋值法和真值树法各一次）1、如果A对在这场球赛中取胜（p），则

3、A队将赢得这场联赛冠军（q）。所以，如果A队在这场球赛中取胜并且它继续打下面的场次（r），则A队将赢得这场比赛。p→q→（p∧r→q）pqrp∧rp∧r→qp→qp→q→（p∧r→q）TTTTTTTTTFFTTTTFTTFFTTFFFTFTFTTFTTTFTFFTTTFFTFTTTFFFFTTT所以，原式是重言式。2、如果我学习（p）则我将成为有知识的人（q）。如果我不学习，我将成为活得轻松的人（r）。因而，我或者成为有知识的人或者成为活得轻松的人。（p→q）∧（Øp→r）→q∨rp→qØp→rØ（q∨r）Øp∨qp∨rØq∧ØrØq

4、Ør/Øpq/*

5、pr**所以，原式是重言式。3、如果市场是自由的（p），则单独某个供应商不可能左右物价（q）。如果单独某个供应商不可能左右物价，则市场物价是稳定的（r）。现在市场物价是稳定的，所以市场是自由的。（p→q）∧（q→r）∧r→pFTTTFFTTT没有推出矛盾，所以原式不是重言式。4、只要执行正确的知识分子政策（p），就能发挥知识分子的积极性（q）。只有发挥知识分子的积极性，才能使科技兴旺（r）。所以，如果执行正确的知识分子政策，就能使科技事业兴旺。（p→q）∧（r→q）→（p→r）不是重言式，判定过程略5、只有知道自己懂得很少（p）的人，才算得上得知（q）。如

6、果一个人算得上得知，那么他就是个聪明人（r）。所以，只有知道自己懂得很少的人，他才是个聪明人。（q→p）∧（q→r）→（r→p）不是重言式，判定过程略6、当且仅当无产阶级夺取政权（p），人民群众才能享受真正民主（q）。只有人民群众享受真正民主，才能发挥他们的积极性（r）。所以，如果无产阶级夺取了政权，就能发挥人民的积极性。（p↔q）∧（r→q）→（p→r）不是重言式，判定过程略7、只有搞好经济建设（p），才能使国家繁荣富强（q）。只有国家繁荣富强，人民生活水平才能提高（r）。所以，如果搞不好经济建设，就不能使人民生活水平提高。（q→p）∧（r→q）→（Øp

7、→Ør）重言式，判定过程略8、如果你读过《儒林外史》（p），就会同情范进那样受科举制度毒害的人物（q）。只有同情他们，才能痛恨封建科举制度（r）。所以，如果你读过《儒林外史》，你就会痛恨封建科举制度。（p→q）∧（r→q）→（p→r）不是重言式，判定过程略9、如果张风接到电报（p），他就会坐飞机赴会（q）。但如果张风未坐飞机赴会，则他将赶不上会议（r）。如张风未赶上会议则李胜将被选进委员会（s）。但如果李胜被选进委员会，则张风会接到电报。如果张风没赶上会议或张风未接到电报则张风未坐飞机赴会或李胜未被选进委员会。张风未赶上会议。因而张风未接到电报或者李胜未被

8、选进委员会。（p→q）∧（Øq→r）∧（r→s）∧（s→p）∧（r∨Øp→Øq∨Øs）∧r→（Øp∨Øs）重言式，判定过程略10、如果A出席则B出席，如B出席则C不出席。如C出席则D不出席。如B出席则E出席。如果D不出席则F出席。E不出席或F不出席。因而A不出席或C不出席。（A→B）∧（B→ØC）∧（C→ØD）∧（B→E）∧（ØD→F）∧（ØE∨ØF）→（ØA∨ØC）重言式，判定过程略11、如果A服兵役或B服兵役则C不服兵役。或C服兵役或者B服兵役。如果B服兵役或A不服兵役则S服兵役。A服兵役。因而S服兵役或者B不服兵役。（A∨B→ØC）∧（B∨C）∧（B

9、∨ØA→S）∧A→（S∨ØB）重言式，判定过程略12、如果阿根廷参