《命题逻辑》课外习题及答案.docxVIP

第一章命题逻辑课外习题及解答 练习一 1判断下列语句是否是命题，若是命题则请将其形式化： a+b x0 “请进！” 所有的人都是要死的，但有人不怕死。 我明天或后天去苏州。 我明天或后天去苏州的说法是谣传。 我明天或后天去北京或天津。 如果买不到飞机票，我哪儿也不去。 只要他出门，他必买书，不管他余款多不多。 除非你陪伴我或代我雇辆车子，否则我不去。 只要充分考虑一切论证，就可得到可靠见解；必须充分考虑一切论证，才能得到 可靠见解。 如果只有懂得希腊文才能了解柏拉图，那么我不了解柏拉图。 不管你和他去不去，我去。 侈而惰者贫，而力而俭者富。 (韩非：《韩非子?显学》) 骐骥一跃，不能十步；驽马十驾，功在不舍；锲而舍之，朽木不折；锲而不舍， 金石可镂。(荀况：《荀子砂学》 解 (1) a+b 不是命题 x0 不是命题(X是变兀) “请进！” 不是命题 所有的人都是要死的，但有人不怕死。 是命题 可表示为p∧∏ q,其中p:所有的人都是要死的，q：所有的人都怕死 我明天或后天去苏州。 是命题 可表示为P ∨ q,其中p:我明天去苏州；q：我后天去苏州 我明天或后天去苏州的说法是谣传。 是命题 可表示为「(P ∨ q),其中p、q同(5) 我明天或后天去北京或天津。 是命题 可表示为P ∨ q∨ r ∨ s,其中P :我明天去北京，q：我明天去天津，r：我后天去北京, s:我后天去天津 如果买不到飞机票，我哪儿也不去。 是命题 可表示为「P→∏ q,其中，P:我买到飞机票，q：我出去 只要他出门，他必买书，不管他余款多不多。 是命题 可表示为(P ∧ q→ r)∧ (∏ P ∧ q→r)或q→r,其中P :他余款多，q :他出门，r:他买书 除非你陪伴我或代我雇辆车子，否则我不去。 是命题 可表示为(P ∨ q)㈠r,其中P :你陪伴我，q：你代我雇车，r :我去 只要充分考虑一切论证，就可得到可靠见解；必须充分考虑一切论证，才能得到可靠 见解。 是命题 可表示为(P→q) ∧ (q→P )或P ι^q,其中P :你充分考虑了一切论证，q：你得到了可 靠见解 如果只有懂得希腊文才能了解柏拉图，那么我不了解柏拉图。 是命题 可表示为(q→P ) → q,其中p：我懂得希腊文，q：我了解柏拉图 不管你和他去不去，我去。 是命题 可表示为(P→r) ∧ (q→r) ∧ ( ∏ P→r) ∧ ( ∏ q→r)或r,其中p：你去，q：他去，r：我去 侈而惰者贫，而力而俭者富。 (韩非：《韩非子湿学》) 是命题 可表示为((P∧ q)→ r) ∧ ((∏ p∧∏ q)→∏ r),其中P:你奢侈，q：你懒惰，r：你贫困 骐骥一跃，不能十步；驽马十驾，功在不舍；锲而舍之，朽木不折；锲而不舍，金石 可镂。(荀况：《荀子?劝学》)是命题 可表示为(P→∏ q) ∧ (s→ r) ∧ (m ∧ n→^ o) ∧ (m∧∏ n→ V),其中 P :骐骥一跃，q：骐骥一 跃十步，r：驽马行千里，s：驽马不断奔跑，m :你雕刻，n：你放弃，o：将朽木折断，V: 金石可雕刻 2、判定下列符号串是否为公式， 若是，请给出它的真值表，并请注意这些真值表的特点 (公 式中省略了可以省略的括号)： π (P) (P为原子命题) (P ∨ qr) → S (P ∨ q) → P P→ (P ∨ q) ∏ (P J P) P∧ (P→q)→q P∧ (P→q)∧ (P→π q) (P→ q) — (π q→π P) ∏ (P ∨ q) q ∧π P n P∨ qr (P→q) (P→ q) ∧ (q→r) → (P→ r) (P ∨ q→ r)尸(p→ r)∧ (q→ r) 解(1)n (P)不是公式 (P ∨ qr) → S不是公式 (P ∨ q)→ P 是公式 P q p∨ q (p∨ q)→ P P → (P ∨ q) 0 o o 1 1 0 1 1 o 1 1 o 1 1 1 1 1 1 1 1 p→(P ∨ q)是公式(真值表见上表，恒真) n (P ∨n P)是公式(恒假) P n P P∨n P n (P ∨n P) o 1 1 o 1 o 1 o (6) p∧ (P→q)→q 是公式(恒真) P q p→ q P ∧ (P → q) p∧ (P → q)→ q o o 1 o 1 o 1 1 o 1 1 o o o 1 1 1 1 1 1 (7) p∧ (P→q) ∧ (P→n q) 是公式(恒假) P q n q p→ q p∧ (p→q) P→n q P ∧ (P→ q) ∧ (P→n q) o o 1 1 o 1 o o 1 o 1 o 1 o  1 0 1 0 0 1 0 1 1 0 1 1 0 0 (8) (P→ q)、