【通用版】2012届高考基础知识复习第十四部分常用逻辑用语与推理证明.docVIP

第十四部分常用逻辑用语与推理证明 四种命题： ⑴原命题：若p则q； ⑵逆命题：若q则p； ⑶否命题：若p则q； ⑷逆否命题：若q则p 注：原命题与逆否命题等价；逆命题与否命题等价。 2．充要条件的判断： （1）定义法----正、反方向推理； （2）利用集合间的包含关系：例如：若，则A是B的充分条件或B是A的必要条件；若A=B，则A是B的充要条件； 3．逻辑连接词： ⑴且(and) ：命题形式 pq； p q pq pq p ⑵或（or）：命题形式 pq； 真 真 真 真 假 ⑶非（not）：命题形式p . 真 假 假 真 假 假 真 假 真 真 假 假 假 假 真 4．全称量词与存在量词 ⑴全称量词-------“所有的”、“任意一个”等，用表示； 全称命题p：； 全称命题p的否定p：。 ⑵存在量词--------“存在一个”、“至少有一个”等，用表示； 特称命题p：； 特称命题p的否定p：； 中小学教育资源站（)，百万资源免费下载，无须注册！ 中小学教育资源站