考点03逻辑联结词、全称量词与存在量词1.简单的逻辑联结词“”“”“”了解逻辑联结词或、且、非的含义
2.全称量词与存在量词①理解全称量词与存在量词的意义
②能正确地对含有一个量词的命题进行否定
一、逻辑联结词1.常见的逻辑联结词:或、且、非“”一般地,用联结词且把命题p和q联结起来,得到一个新命题,记作pq“,读作p且q”;“”用联结词或把命题p和q联结起来,得到一个新命题,记作pq“,读作p或q”;对一个命题p的结论进行否定,得到一个新命题,记作p“,读作非p”.2.复合命题的真假判断“p且q”“p或q”“非p”形式的命题的真假性可以用下面的表(真值表)来确定:pqpqpqpq()pq()pq()()pq()()pq真真假假真真假假假假真假假真真假假真真假假真真假真假假真真假假假真真假假真真真真3.必记结论含有逻辑联结词的命题的真假判断:(1)pq中一假则假,全真才真.(2)pq中一真则真,全假才假.(3)p与p真假性相反.注意:命题的否定是直接对命题的结论进行否定;而否命题则是对原命题的条件和结论分别否定
不能混淆这两者的概念
二、全称命题与特称命题1.全称量词和存在量词量词名称常见量词符号表示全称量词所有、一切、任意、全部、每一个等存在量词存在一个、至少一个、有些、某些等2.同一个全称命题、特称命题,由于自然语言的不同,可能有不同的表述方法,在实际应用中可以灵活地选择
“全称命题xApx,”“特称命题00xAqx,”表述方法对所有的xApx,成立存在00xAqx,成立对一切xApx,成立至少有一个00xAqx,成立对每一个xApx,成立对有些00xAqx,成立任选一个xApx,成立对某个00xAqx,成立凡xA,都有px成立有一个0xA,使0qx成立