一个充分条件命题A——B = 非A或B矛盾是A且非B
当A为假或者B为真，则命题是真的
想削弱或者否定一个充分条件命题A——B ，则找矛盾有A没B。

1.系统提高教程上册P60 5
根据小张产生了良好的反应，相当于否定了充分条件的后键，否后必否前，所以是非（阿司匹林或对乙酰氨基酚），非（A或B）等于非A且非B。

2.如果不X就不Y,等于只有X才Y,如果A就B=只有非A才非B。

3.如果不X就不Y=如果Y就X=只有X才Y
4. 必要转充分，前后调过来。

P否则Q=如果非P 则Q
5. 一个必要条件命题X----Y = X或非Y（只有X才Y的矛盾是非X 且Y，非A且Y的矛盾是A或非Y）
6.非（P且Q）=非P或非Q=一个必要条件命题X----Y = 非X且Y 如果一个（是P或Q元素，不是前后键非P或非Q）真，另一个必假。

（以上完全等值，但是也存在非P且非Q得可能，因为只是可能，所以不能用等号）
7.非（P或Q）=非P且非Q（乙和丁至少有人没作案=或者乙没作案，或者丁没作案）
8.如果想让P或Q的命题为真，则让一个为真（只要有一个真，P或Q就是真的），如果P或Q为真，则至少一个为真也=如果P是假的，则Q一定真。

8.要么，要么与或者的区别：要么要么不允许PQ同真（不相容）（如果命题为假，需要PQ同真或者PQ同假），而或者允许PQ同真（相容）（如果命题为假，则PQ同假）。

（要么多了一种同真的情况）
上册P61。

8
9.两难推理：
P-Q ,R-S 推出P或R——Q或S；非Q或非S——非P或非R
推翻它：前提的充分条件是假的，指出第三种可能（力度差一些）10性质命题：
语言形式有的S是P
11性质命题矩阵：
不能同真，可能同假
F T 不一定F 所有S都是P 反对所有S不是P
矛包
盾和左边一样
含
不一定T TF 有些S是P 下反对有些S不是P
不能同假，可能同真
12 模态
不（一定对）(不后面可以打括号)=可能不对
所有有些
肯定否定
不可能所有骗子在任何时候欺骗所有人=必然有些骗子在有些时候不能欺骗有些人。

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(必须要有且)（只有才=除非否则不）
10.没有S是P=有的S是P
否定一个否定形式结论，一定要用肯定句，所有的怎么样否定效果大于有些怎么样。