第4章作业.docVIP

练习4.1 3．判断下列语句是否为命题，如是命题则请将其形式化。 （9）．我明天或后天去北京或天津。 解：是命题。形式化为：P∨Q∨R∨S。其中P：我明天去北京，Q：我明天去天津，R：我后天去北京，S：我后天去天津。 （10）如果买不到飞机票，我不去海南岛。 解：是命题。形式化为：┐P→┐Q：。其中P：我买到飞机票，Q:我去海南岛 （11）只要他出门，他必买书，不管他带的钱多不多。 解：是命题。形式化为（P∧R→Q）∧（P∧┐R→Q）(或者（P∧R）∨（P∧┐R）→Q或者P∧（R∨┐R）→Q )。其中P：他出门，Q:他买书，R：他带的钱多。 (12) 除非你陪伴我或代我雇辆车子，否则我不去。 解：是命题。形式化为：（P∨Q）( R。其中：P：你陪伴我。Q：你代我雇辆车子。R：我去。 4．根据命题公式的定义和省略括号的约定，判定下列符号串是否为公式。若是，请给出他的真值表，并请注意这些真值表的特点。 解：（6）是公式。（7）是公式。（9）是公式。 真值表分别如下： p q p→q ┐q p→┐q p∧(p→q) p∧(p→q) ∧(p→┐q) 0 0 1 1 1 0 0 0 1 1 0 1 0 0 1 0 0 1 1 0 0 1 1 1 0 0 1 0 p q p∨q ┐(p∨q) ┐q ┐p ┐q∧┐p ┐(p∨q) (┐q∧┐p 0 0 0 1 1 1 1 1