管理类联考——逻辑——形式逻辑——汇总篇——知识点突破——形式逻辑——联言&选言&假言——矛盾

角度

角度——汇总——持续优化

1. 性质
   （1）$所有的S是P$ 与 $有的S不是P$矛盾
   （2）$所有的S不是P$ 与$有的S是P$ 矛盾
   （3）$这个S是P$ 与$这个S不是P$ 矛盾
   （1）性质命题的负命题：“并非”+“性质命题”，等价于去掉前面的"并非"，再将原性质命题进行如下变化：
   肯定变否定，否定变肯定；所有变有的，有的变所有。
2. 模态
   （1）$必然P$ 与$可能不P$ 矛盾
   （2）$必然不P$ 与$可能P$ 矛盾
   【口诀】必一真一假。一个真来另必假，一个假来另必真。【当“必然P”为真时，“可能不P”一定为假；当“必然P”为假时，“可能不P”一定为真；反之亦然。】
   （1）模态命题的负命题：“并非”+“模态命题”，等价于去掉前面的并非，再将原“模态命题”进行如下变化：
   肯定变否定，否定变肯定；必然变可能，可能变必然。
   （1）模态命题前的“不”：
   当“不”越过“可能，必然；都、有的”时，进行如下互换：
   不 可能 = 必然 不
   不 必然 = 可能 不
   不 都 = 有的 不
   不 有的 = 都 不
3. 假言
   $P\to Q$ 与 $P\wedge ┐Q$ 矛盾。
   $如果P则Q$ 与$P并且非Q$ 矛盾。
4. 联选言
   （1）$P\vee Q$ 与 $┐P\wedge ┐Q$ 矛盾，称为$P或者Q$ 与$非P并且非Q$ 矛盾。
   （2）$P\wedge Q$ 与 $┐P\vee ┐Q$ 矛盾，称为$P并且Q$ 与$非P或者非Q$ 矛盾。
   （3）$P\forall Q$ 与 $(P\wedge Q)\vee (┐P\wedge ┐Q)$ 矛盾，可得：$P\forall Q$ 与 $(P\wedge Q)$ 矛盾。