常用逻辑用语章末复习提升1.要注意全称命题、存在性命题的自然语言之间的转换.2.正确理解“或”的意义,日常用语中的“或”有两类用法:其一是“不可兼”的“或”;其二是“可兼”的“或”,我们这里仅研究“可兼”的“或”.3.有的命题中省略了“且”“或”,要正确区分.4.常用“都是”表示全称肯定,它的存在性否定为“不都是”,两者互为否定;用“都不是”表示全称否定,它的存在性肯定可用“至少有一个是”来表示.5.在判定充分条件、必要条件时,要注意既要看由p能否推出q,又要看由q能否推出p,不能顾此失彼.证明题一般是要求就充要条件进行论证,证明时要分两个方面,防止将充分条件和必要条件的证明弄混.6.否命题与命题的否定的区别.对于命题“若p,则q”,其否命题形式为“若綈p,则綈q”,其否定为“若p,则綈q”,即否命题是将条件、结论同时否定,而命题的否定是只否定结论.有时一个命题的叙述方式是简略式,此时应先分清条件p,结论q,改写成“若p,则q”的形式再判断
题型一充分条件与必要条件的理解及判断方法例1已知p:-2