Logical knowledge points

形式推理

1.步骤：找结构、套公式
简单命题：6个结构词
联言命题：A且B
选言命题：A或B 、要么A要么B
假言命题：如果A就B （A—>B）、只有A才B（B—>A） 除非A否则不B（B→A）
充要条件：A当且仅当B （A—>B、B—>A）

2.推出关系：真话写推出（推到有些、没有或为止）
矛盾关系：假话写矛盾
否一推一：A或B 为真 则 非A-->B 、 非B-->A

3.A—>B
假言矛盾 ：A且非B
假言真假性：A—>B = 非A或B（前假假言真，后真假言真）
推出关系：前真推后真、后假推前假

4.形式推理补充知识点
两种特殊题型、一个特殊公式

• 概念间关系（画图法、公式法）
  所有简单命题也可以写成假言的推出关系（过去五年就考一道）
  所有A是B A—>B
  所有A不是B=所有A是非B A—>非B
  有些A是B =有些B是A A~B = B~A
  A—>B B—>C —> A—>C
  A ~ B B—>C —> A~C= C~A
  A ~ B B~C —> A~C 错误的
  ~在推理中只能在最前面且出现一次，不能出现多次，也不能放后面

• 几真几假 （过去五年就考一道、非常难）
  矛盾法：找矛盾、找反对
  假设法：真话优先、简单优先（推出错误）

综合推理

1.对数字敏感
2.假设法
3.或命题：在不确定的信息中有效性相对更高、或命题与数字相对紧密
4.二难推理：

A→B  、非A→B   —>  B为真
A→B  、 C→D 、 A或C  —> B或D

5.问法：可能为真、一定为假 —>选项带入排除
6.一对一的对应关系：连线法(有关连实线、无关连虚线代表排除)
7.一对多的对应关系：列表法