管理类联考——逻辑——技巧篇——四大命题——推出结论，补充前提，真假话，寻找矛盾

形式逻辑题型特征与解题方法

题型	关键特征	要点
推出结论	有的	有的开始联立
	确定信息	确定信息开始
	能联立	能联立则联立
	题干复杂，选项简单	代入验证
补充前提	问题要求补充前提；题干为形式逻辑推理关系	逆向思维
寻找矛盾	不可能为真；并非+原命题	负命题公式
真假话	1个核心	先判断命题真假，再推结论
	2条主线	真假数量与条件关系
	3个难点	多真多假；箭头变或者；一人一真

推出结论

补充前提

题型特点

（1）题干特点
题干给出一个或者若干复言命题。
（2）问法特点
假设以下哪项，可推出某某结论。

真假话

题型特点

（1）题干给出若干真假不确定的判断。
（2）题干告知这些判断的真假关系数量。

考点复盘

形式逻辑常见命题之间的关系

矛盾关系

1. 关系特征
   一真一假
2. 公式
   ① 所有，有的不；
   ② 所有不，有的；
   ③ 必然，可能不；
   ④ 必然不，可能；
   ⑤ ¬ （P ∧ Q）= ¬ P ∨ ¬ Q；
   ⑥ ¬ （P ∨ Q）= ¬ P ∧ ¬ Q；
   ⑦ ¬（P ∀ Q）=（P ∧ Q）∨（¬ P∧¬ Q）；
   ⑧ ¬（P → Q） = P ∧ ¬ Q；
   ⑨ ¬ （P ↔ Q）= （P ∧ ¬ Q）∨（¬ P ∧ Q）。

包含关系

1. 关系特征
   前真后真，后假前假
   注：按照公式给出的前后顺序
2. 公式
   ① 所有 ⇒ 某个 ⇒ 有的；
   ② 必然 ⇒ 可能；
   ③ P、Q ⇒ P ∨ Q；
   ④ P ∧ Q，P ∀ Q ⇒ P ∨ Q；
   ⑤ ¬ P、Q ⇒ P → Q。（难点）

下反对关系

1. 关系特征
   至少一真
2. 公式
   ① 有的，有的不；
   ② 可能，可能不；
   ③ P ∨ X，¬ P ∨ Y（难点）

寻找矛盾

∩ ∪ ∧ ∨ ⊃ ⊂ ∅ ⟺ ¬ ∀ ∞