高等学校21卌纪教材 在条件命题P→Q中,命题P称为PQ的前 件或前提,命题Q称为P→Q的后件或结论。条件 命题P→Q有多种方式陈述: “如果P,那么Q”;“P仅当Q”;“Q每当 P”;“P是Q的充分条件”;“Q是P的必要条件” 等。□ PT PRESS 人民邮电出版社
在条件命题P→Q中，命题P称为P→Q的前 件或前提，命题Q称为P→Q的后件或结论。条件 命题P→Q “如果P，那么Q”； “P仅当Q”； “Q每当 P”； “P是Q的充分条件” ； “Q是P的必要条件” 等
高等学校21卌纪教材 在日常生活中,用条件式表示前提和结论之 间的因果或实质关系,如例11.4中的①,这种条 件式称为形式条件命题。然而在命题逻辑中, 个条件式的前提并不要求与结论有任何关系,这 种条件式称为实质条件命题。采用实质条件式作 定义,不单是出于“善意推断”,主要是因为前 提与结论间有无因果和实质关系难以区分,而且 实质条件式已包含了形式条件式,更便于应用。 PT PRESS 人民邮电出版社
在日常生活中，用条件式表示前提和结论之 间的因果或实质关系，如例1.1.4中的①，这种条 件式称为形式条件命题。然而在命题逻辑中，一 个条件式的前提并不要求与结论有任何关系，这 种条件式称为实质条件命题。采用实质条件式作 定义，不单是出于“善意推断” ，主要是因为前 提与结论间有无因果和实质关系难以区分，而且 实质条件式已包含了形式条件式，更便于应用
高等学校21卌纪教材 定义1.1.5令P、Q是两个命题,由命题联 结词把P和Q连接成P分Q,称PQ为命题P 和Q的双条件式复合命题,简称双条件命题,P >Q读做“P当且仅当Q”,或“P等价g”。称 为双条件联结词。□ 当P和Q的真值相同时,P<>Q的真值为真; 否则,P分Q的真值为假。双条件联结词々的定 义由表1.1.5表示之。口□ PT PRESS 人民邮电出版社
定义1.1.5 令P、Q是两个命题，由命题联 结词把P和Q连接成P Q，称P Q为命题P 和Q的双条件式复合命题，简称双条件命题，P Q读做“P当且仅当Q” ，或“P等价Q” 。称 为双条件联结词。 当P和Q的真值相同时，P Q的真值为真； 否则，P Q的真值为假。双条件联结词的定 义由表1.1.5表示之
高等学校21卌纪教材 表11.5<>的定义 P O P>0 0011 0101 PT PRESS 人民邮电出版社
表 1.1.5 的定义 P Q PQ 0 0 0 1 1 0 1 1 1 0 0 1
高等学校21卌纪教材 在本节结束时,应强调指出的是:复合命题 的真值只取决于各原子命题的真值,而与它们的 内容、含义无关,与原子命题之间是否有关系无 关。理解和掌握这一点是至关重要的,请读者认 真去领会。□ PT PRESS 人民邮电出版社
在本节结束时，应强调指出的是：复合命题 的真值只取决于各原子命题的真值，而与它们的 内容、含义无关，与原子命题之间是否有关系无 关。理解和掌握这一点是至关重要的，请读者认 真去领会