第1节 常用逻辑用语(方法册+习题册)(OCR).pdfVIP

模块二常用逻辑用语(★★)

内容提要

常用逻辑用语包括充分条件和必要条件、全称量词命题和存在量词命题两部分内容，有关考

题由于涉及其它板块的知识，所以有一定的综合性，下面先归纳本节涉及到的一些知识点.

1.充分条件、必要条件的判断

概念：命题“若p,则q”为真命题，则称p是q的充分条件，q是p的必要条件

p=q且q≠pp是q的充分不必要条件

p≠q且q=pp是q的必要不充分条件

P→q且q=pp是q的充要条件，记作p?q

P≠q且q中pp是q的既不充分也不必要条件

2.集合角度看充分条件和必要条件：若ACB,则x∈A是x∈B的充分不必要条件.我们将

这一结论简记为“小可推大，大不推小”.

3.含有一个量词的命题的否定：

①全称量词命题“Vx∈M,p(x)”的否定为“3x∈M,一p(x)”.

②存在量词命题“3x∈M,p(x)”的否定为“Vx∈M,一p(x)”.

4.命题及其否定的真假关系：命题p与该命题的否定的真假性必定相反.

类型