2024考研管理类联考逻辑部分有哪些公式可用？学姐整理思维导图

全称否定命题(SEP，以下简称E)：所有S都不是P;

全称肯定命题(SAP，以下简称A)：所有S都是P;

特称否定命题(SOP，以下简称O)：有些S不是P;

特称肯定命题(SIP，以下简称I)：有些S是P;

单称否定命题(记作e)：小王不是P;

单称肯定命题(记作a)：小王是P。

充分条件假言命题：p→q

必要条件假言命题：p←q

充要条件假言命题：p←→q

联言命题：p∧q

相容选言命题：p∨q

不相容选言命题：p∨q

矛盾关系(A和O、E和I、a和e)：既不能同真，也不能同假，必有一真，必有一假;

反对关系(A和E)：不能同真，可以同假;

下反对关系(I和O)：可以同真，不能同假;

从属关系(A-a-I、E-e-O)：全称真，则单称真，则特称真;特称假，则单称假，则全称假。

两否定不能得出结论;

两特称不能得出结论;

前提有特称，结论必为特称，反之未必;

前提有否定，结论必为否定，反之亦然。

模态命题的等价命题:

不可能←→必然非，不一定←→可能非

相容选言命题的等价命题：¬p→q、¬q→p

不相容选言命题的等价命题：¬p→q、¬q→p、p→¬q、q→¬p

充分条件假言命题的等价命题：¬p∨q、¬q→¬p

必要条件假言命题的等价命题：p∨¬q、¬p→¬q

二难推理：

归谬法：

反证法：