8.1 命题与逻辑连接词.pptVIP

今晚我去书店或者去打球。 设P：今晚我去书店， Q：今晚我去打球， 则该命题可表示为P∨Q。 条件词(condition 如果……，那么……” （if…then） 用符号→表示。 设P，Q表示两命题， 则P→Q表示命题“如果P,那么Q”， 并且P称为前件，Q称为后件。 当P真而Q假时，命题P→Q为假 否则均认为P→Q为真。 P→Q常读作“若P则Q”。 其真值状况 0 1 0 1 Q 1 1 0 1 0 0 1 1 P→Q P 如果有辆车,那么我去接你。 设P：我有辆车， Q：我去接你， 则该命题可表示为P→Q。 注意： P→Q中允许前件P为假， 且此时无论后件Q是真还是假， P→Q的真值都为真。 许多程序设计语言中用if…then… 结构，与逻辑中使用的不同。 在程序设计中往往是if p then S ， 其中p是命题，而S是一段程序。 当程序运行到这条语句时， 如果p为真，就执行S， 但若P为假，则S不执行。 “如果2+2=5，那么雪是黑的” “如果我是美国总统， 我就不那样对待萨达姆” 都是真值为“真”的命题。 双条件词(bicondition)“当且仅当” （if and only if） 用符号?表示之。 设P，Q为两命题， 则P?Q表示命题“P当且仅当Q”， 且当P与Q同真值时P?Q为真， 否则为假。 P?Q读作“P双条件Q” 或“P当且仅当Q”。 其真值状况 0