简易逻辑知识概要Mcrosoft Word 文档.docVIP

一、命题与量词 （一）考纲解读： 1.理解命题的概念. 2.理解全称量词与存在量词的意义. 3.能正确地对含有一个量词的命题进行否定. （二）知识概要： 1．命题：可以判断真假的语句叫做命题 2.全称量词与全称命题：“对所有的”、“对一切”等短语在逻辑中通常叫做全称量词，全称量词用符号“”表示。含有全称量词的命题叫做全称命题； 全称命题：有成立命题：使成立含量词命题的否定 全称命题：有成立；其否定为成立命题：使成立其否定为有不成立.具体操作就是命题全称性的量词改成存在性的量词，存在性的量词改成全称性的量词，并把量词作用范围进行否定.即须遵循下面法则：否定全称得存在，否定存在得全称，否定肯定得否定，否定否定得肯定 （3）．充要条件：如果A既是B成立的充分条件，又是B成立的必要条件，则A是B成立的充要条件；同时B也是A成立的充要条件。 2.充要条件的判断 （1）若成立则A是B成立的充分条件，B是A成立的必要条件。 （2）若且BA，则A是B成立的充分且不必要条件，B是A成立必要且非充分条件。 （3）若成立则A、B互为充要条件。 注意： （1）证明A是B的充要条件，分两步： 充分性：把A当作已知条件，结合命题的前提条件推出B； 必要性：把B当作已知条件，结合命题的前提条件推出A。 （2）给定两个命题，p、q, 可以考虑集合A=｛x︱x满足p｝,B=｛x︱x满足q｝,则有 若AB，则p 是q