逻辑知识点总结饶思中.docVIP

一个充分条件命题 A—— B = 非 A 或 B 矛盾是 A 且非 B 当 A 为假或者 B 为真，则命题是真的 想削弱或者否定一个充分条件命题 A―― B ,则找矛盾 有A没B。 系统提高教程上册 P60 5 根据小张产生了良好的反应，相当于否定了充分条件的后键，否 后必否前，所以是非（阿司匹林或对乙酰氨基酚），非（A或B） 等于 非 A 且非 B。 如果不X就不丫等于只有X才丫如果A就B=只有非A才非B。 如果不X就不丫=如果丫就X二只有X才丫 必要转充分，前后调过来。P否则Q= 如果非P则Q 一个必要条件命题 X----Y = X或非Y （只有X才丫的矛盾是非X 且Y,非A且丫的矛盾是A或非Y） 非（P且Q）二非P或非Q二一个必要条件命题 X----Y二非X且丫 如果一个（是P或Q元素，不是前后键非P或非Q）真，另一个必假。 （以上完全等值，但是也存在非 P且非Q得可能，因为只是可能， 所以不能用等号） 非（P或Q）二非P且非Q （乙和丁至少有人没作案二或者乙没作案， 或者丁没作案） 如果想让P或Q的命题为真，则让一个为真（只要有一个真， P或 Q就是真的），如果P或Q为真，则至少一个为真也二如果P是假的， 则 Q 一定真。 8?要么，要么与或者的区别：要么要么不允许 PQ同真（不相容）（如 果命题为假，需要PQ同真或者PQ同假），而或者允许PQ同真（相 容）（如果命题为假，则PQ同假）。（要么多了一种同真的情况） 上册P61。8 两难推理： P-Q ,RS推出P或RQ或S;非Q或非S――非P或非R 推翻它：前提的充分条件是假的，指出第三种可能（力度差一些） 10性质命题： 语言形式有的S是P 11性质命题矩阵： 不能同真，可能同假不能同假，可能同真不一定TF T 不能同真，可能同假 不能同假，可能同真 不一定T F T 12模态所有有些否定不「定对） 12模态 所有 有些 否定 不「定对）（不后面可以打括号戸可能不对 J■^宀 冃疋 不可能所有骗子在任何时候欺骗所有人二必然有些骗子在有些时候不 能欺骗有些人 13 至多至少 A和B最少有一个是学生：或者 A是学生，或者B是学生 A和B至多有一个是学生：或者 A不是学生，或者B不是学生 14 三段论 补充前提的题目类型： 先补缺的联系部分！（优先） 然后看题干和补充中出现有些（只能 2 次），出现不；没有（只能 2 次） 2 个有些推不出结论， 2 个否定推不出结论 各种矛盾（你真我就假，不能同真不能同假） （可同假是反对，可同 真是下反对）： 1、P 矛盾非 P； 2、 所有的S都是P矛盾有S不是P; 3、 有的S是P矛盾所有S都不是P; 4、 必然P矛盾可能不P; 可能P矛盾必然不P; 5、 P或Q矛盾非P且非Q; 6、 要么P,要么Q矛盾P且Q或非P且非Q； 7、 P且Q矛盾非P或非Q （如果先肯一个，则必否另一个）； 8、 如果P那么Q矛盾P且非Q；（必须要有且） 9?只有P才Q矛盾非P且Q（必须要有且）（只有才二除非否则不） 没有S是P=有的S是P 否定一个否定形式结论， 一定要用肯定句， 所有的怎么样否定效果大 于有些怎么样