形式逻辑核心推理规则与解题技巧.pdfVIP

逻辑带练1-AI生成参考）

一、形式逻辑推理规则

1.1或变箭头（或的推理）

：P∨Q=¬P→Q=¬Q→P

规则：一否推另肯，一肯另不定

当题目给出或命题要求推出结论时，否定一边即可肯定另一边

命题设置特点：可推出的结论（一否推另肯）是命题重点；不确定的情况（一肯另不定）无法用来设置

1.2逆否规则

：P→Q=¬Q→¬P

有效推理：肯前推肯后，否后推否前

无效推理：否前后不定，肯后前不定

适用范围：假言命题（如果…那么…）和性质命题（所有…）均可用箭头表示，有效推理模式相同

考场地位：整个形式逻辑的规则，绝大多数形式逻辑题目都会考到

1.3对当规则（性质命题）

关系类型位置规则推理规律

关系对角线（所有↔有的不；所有不↔有的）一真一假一真推另假；一假推另真

关系