精选优质文档-倾情为你奉上第一章 常用逻辑用语1.1 命题及其关系一般地，在数学中，把用语言、符号或式子表达的，可以判断真假的陈述句叫做命题（proposition）。其中判断为真的语句叫做真命题（true proposition），其中判断为假的语句叫做假命题（false proposition）。1.1.2 四种命题互 逆互为逆否互否互否互 逆（1） 两个命题互为逆否命题，它们有相同的真假性；（2） 两个命题为互逆命题或互否命题，它们的真假性没有关系。1.2 充分条件与必要条件若pq， 则p是q的充分条件（sufficient condition），q是p的必要条件（necessary condition）。若pq，则p是q的充分必要条件（sufficient and necessary condition），q是p的充要条件；p与q互为充要条件。（也说成“p等价于q”或“q当且仅当p”）1.3 逻辑连结词且（and）：pq；或（or）：pq；非（not）： p *注
