形式逻辑命题推理要点与解题策略.pdfVIP

形式逻辑-命题推理

一、命题本质

形式逻辑主要考察三个方面：

1.规则:包括推理规则、命题和真假规则。

推理规则：用于根据推出结论。

或变箭头:P∨Q=¬P→Q=¬Q→P。推理规则为：否定一个，推另一个；肯定一个，另一个不定。识别

词：或，至少其一。

逆否规则:P→Q=¬Q→¬P。推理规则为：肯前推肯后，否后推否前，否前后不定，肯后前不定。无效推

理：肯后推肯前，否前推否后。识别词：如果...那么...，只有...才...，所有...都...。

换位规则:有的P是Q=有的Q是P。推理规则为：有的仅换位。识别词：有的，一些。

联立规则:当题目条件之间有共同话题时，考虑联立。

首尾联立：一般将题干条件写成P→Q→J...的模式。

逆否换位：若题干条件无法直接联立，考虑先逆否或换位，再联立。

有的开始：若干条件中包含“有的”，联立时将“有的”放开头。

命题：用于寻找的。