逻辑的习题课(2-1).pptVIP

知识点回顾 四种命题 充分条件与必要条件 简单的逻辑联结词 全称量词与存在量词 充分条件与必要条件的判断 定义法 集合判断法 等价命题法 推导的传递性 * * * 《常用逻辑用语》习题课（1） 逆命题若q则p 原命题若p则q 否命题若 p则 q 逆否命题若 q则 p 互逆 互否 互 否 互 否 互为 逆否 P是q的充分条件： P是q的必要条件： P是q的充分不必要条件： P是q的必要不充分条件： P是q的充要条件： P是q的既不充分又不必要条件： 当p、q分别用集合A、B表示时 1.A是B的真子集，则p是q的充分而不必要条件 2.B是A的真子集，则p是q的必要而不充分条件 3.A=B, 则p是q的充要条件 4.若A不包含于B，且B不包含于A，则p是q的既不充分也不必要条件 p或q p且q 非p “所有的，任意的，每一个”等表示全体的量词在逻辑中称为全称量词 “有一个，有些，存在一个”等表示部分的量词在逻辑中称为存在量词。 含有全称量词的命题称为全称命题 含有存在量词的命题称为存在性命题 例1.命题 “一元二次方程ax2+bx+c=0有两个不相等的实数根”,其中条件p是 ,结论是 P:方程是一元二次方程ax2+bx+c=0 q :方程有两个不相等的实数根 P:一元二次方程ax2+