离散数学王元元习题解答（1）.pdfVIP

离散数学王元元习题解答（1）

1命题演算及其形式系统

命题与联结词

内容提要

命题

我们把对确定的对象作出判断的陈述句称作命题（propositions），当判断正确或符合客观实际时，称该命题真（true），否

则称该命题假（false）。真、假“”常被称为命题的真值。

然语中并、或者、并且、如果“…，那么…、当且仅当”这样的联结词称为逻辑联结词（logicalconnectives）。通常把

不含有逻辑联结词的命题称为原命题或原（atoms），把由原命题和逻辑联结词共同组成的命题称为复合命题

（compositivepropositions）。

联结词

否定词(negation)“并”（not），符号┐表。设p表命题，那么┐p表命题p的否定。p真时┐p假，p假时┐p真。┐p

读作并“p”或“p”。

合取词(conjunction)“并且”（and），符号∧表。设p，q表两命题，那么p∧q表合取p和q所得的命题，即p和q同时为

真时p∧q真，否则p∧q为假。p∧q读作“p并且q”或“p且q”。

析取词(disjunction)“或”（or）符号∨表。设p，q表两命题，那么p∨q表p和q的析取，即当p和q有为真时，p∨q为

真，只有当p和q均假时p∨q为假。p∨q读作“p或者q”、“p或q”。

蕴涵词(implication)“如果……，那么……”（if…then…），符号→表。设p，q表两命题，那么p→q表命题如果“p，那

么q”。当p真q假时，命题p→q为假，否则均认为p→q为真。p→q中的p称为蕴涵前件，q称为蕴涵后件。p→q的读法较多，可

读作如果“p则q”，“p蕴涵q”，“p是q的充分条件”，“q是p的必要条件”，“q当p”，“p仅当q”等等。数学中还常把

q→p，┐p→┐q，┐q→┐p分别叫做p→q的逆命题，否命题，逆否命题。

双向蕴涵词(two-wayimplication)“当且仅当”（ifandonlyif），符号表之。设p，q为两命题，那么pq表命题“p当且仅当

q”，“p与q等价”，即当p与q同真值时pq为真，否则为假。pq读作“p双向蕴涵q”，“p当且仅当q”，“p等价于q”。由于当且仅“

当”“等价”常在其它地使，因第种读法更好些。

命题公式及其真值表

我们把表具体命题及表常命题的p，q，r，s与f，t统称为命题常元（propositionconstant）。深的讨论还需要引命题

变元（propositionvariable）的概念，它们是以真、假“”或“1，0”为取值范围的变元，为简单计，命题变元仍p，q，r，s等

表。

定义以下三条款规定了命题公式（propositionformula）的意义：

（1）命题常元和命题变元是命题公式，也称为原公式或原。

（2）如果A，B是命题公式，那么（┐A），（A∧B），（A∨B），（A→B），（AB）也是命题公式。

（3）只有有限步引条款（1），（2）所组成的符号串是命题公式。

如果公式A含有命题变元p1，p2，…，pn，记为A(p1,…,pn)，并把联结词看作真值运算符，那么公式A可以看作是p1,…,pn

的真值函数。对任意给定的p1,…,pn的种取值状况，称为指派（assignments），希腊字母，等表，A均有个确定的

真值。当A对取值状况为真时，称指派弄真A，或是A的成真赋值，记为(A)=1；反之称指派弄假A，或是A的成假赋值，记为

(A)=0。对切可能的指派,公式A的取值可能可张表来描述,这个表称为真值表（truthtable）。当A(p1,…,pn)中有k个联

结词时，公式A的真值表应为2n、k+n列（不计表头）。

语句的形式化

我们已有的符号语，可以将许多然语语句形式化。

语句形式化要注意以下个。

要善于确定原命题，不要把个概念硬拆成个概念，例如弟兄“”是个概念，不要拆成弟“”和兄“”、我和“他是弟兄”是个

原命题。

要善于识别然语中的联结词（有时它们被省略）。例如风“阻，我去上学”句，可

理解为不“管是否刮风、是否下我都去上学”。

否定词的位置要放准确。

需要的括号不能省略，可以省略的括号，在需要提公式可读性时亦可不省略。

另外要注意的是,语句的形式化未必是唯的。

习题解答

练习

1、判断下列