離散数学习题解答.docVIP

离散数学习题解答 ∧∨∩∪∈┐→? 练习1.1 1.判断下列命题是否是命题，若是则形式化。 解：(1)不是命题。 (2)不是命题。 (3)不是命题。 (4) p：所有人都是要死的。 q：有人不怕死。 p∧q (5) p：我明天去杭州。 q：我后天去杭州。 p∨q (6) p：我明天去杭州。 q：我后天去杭州。 ┐(p∨q) (7) p：我明天去北京。 q：我明天去天津。 r：我后天去北京。 s：我后天去天津。 (p∨q)∨(r∨s) (8)p：我买到飞机票。 q：我出去。 ┐p→┐q (9)p：他余款多。 q：他出门。 r：他买书。 (p∧q→r)∧(┐p∧q→r)或q→r (10)p：你陪伴我。 q：你代我雇车。 r：我去。 (p∨q?r) (11)p：你充分考虑了一切论证。 q：你得到可靠见解。 (p→q)∧(q→p)或p?q (12)p：我懂希腊文。 q：我了解柏拉图。 (q→p)→┐q (13)p：你去。 q：他去。 r：我去。 (p→r)∧(┐p→r)∧(q→r)∧(┐q→r)或r (14)p：你奢侈。 q：你懒惰。 r：你贫困。 ((p∧q→r))∧((┐p∧┐q)→┐r) (15)p：骐骥一跃。 q： 骐骥一跃十步。 r： 驽马不断奔跑。 s： 驽马行千里。 m：你雕刻。 n： 你放弃。 o： 将朽木折断。 v： 金石可雕刻。 (p→┐q)∧(r→s)∧((m∧n)→┐o) ∧((m∧┐n)→v) 2.判断下列符号串是否为公式，若是，请给出真值表，并请注意这些真值表的特点。 解： (1)不是公式。 (2)不是公式。 (3) p q p∨q (p∨q)→p 0 0 0 1 0 1 1 0 1 0 1 1 1 1 1 1 (4) p q p∨q p→(p∨q) 0 0 0 1 0 1 1 1 1 0 1 1 1 1 1 1 (5) p ┐p p∨┐p ┐(p∨┐p) 0 1 1 0 1 0 1 0 (6) p q p→q p∧(p→q) p∧(p→q) →q 0 0 1 0 1 0 1 1 0 1 1 0 0 0 1 1 1 1 1 1 (7) p q ┐q p→q p∧(p→q) p→┐q p∧(p→q) ∧(p→┐q) 0 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 1 0 1 1 0 0 (8) p q ┐p ┐q p→q ┐q→┐p (p→q)?? ( ┐q→┐p) 0 0 1 1 1 1 1 0 1 1 0 1 1 1 1 0 0 1 0 0 1 1 1 0 0 1 1 1 (9) p q ┐p ┐q p∨q ┐(p∨q) ┐q∧┐p ┐(p∨q)?┐q∧┐p 0 0 1 1 0 1 1 1 0 1 1 0 1 0 0 1 1 0 0 1 1 0 0 1 1 1 0 0 1 0 0 1 (10) p q ┐p ┐p∨q p→q ┐p∨q???p→q) 0 0 1 1 1 1 0 1 1 1 1 1 1 0 0 0 0 1 1 1 0 1 1 1 (11) p q r p→q q→r p→r (p→q) ∧(q→r) (p→q) ∧(q→r) →(p→r) 0 0 0 1 1 1 1 1 0 0 1 1 1 1 1 1 0 1 0 1 0 1 0 1 0 1 1 1 1 1 1 1 1 0 0 0 1 0 0 1 1 0 1 0 1 1 0 1 1 1 0 1 0 0 0 1 1 1 1 1 1 1 1 1 (12) p q r p ∨q p∨q→r p→r q→r (p→r) ∧(q→r) (p∨q→r)?? (p→r)∧(q→r) 0 0 0 0 1 1 1 1 1 0 0 1 0 1 1 1 1 1 0 1 0 1 0 1 0 0 1 0 1 1 1 1 1 1 1 1 1 0 0 1 0 0 1 0 1 1 0 1 1 1 1 1 1 1 1 1 0 1 0 0 0 0 1 1 1 1 1 1 1 1 1 1 3.解： 设p:你说真话。q:我向右走去首都。 则问：p?q? 当回答”是(真)”,你选择向右走;当回答”不(假)”时,你选