逻辑推理公式.doc

《逻辑推理公式.doc》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、直言命题所有的都是上反对必有一假所有的都不是包容矛盾包容有的是必有一真下反对有的不是所有的A是B上反对必有一假所有的A都不是B包容矛盾包容有的A是B必有一真下反对有A的不是BB→C三段论A→BB→CA→B有的B是CA→C有的C是B—B→—A逆否（A→B的矛盾关系A∧—B）A→B有的A→B有的B→A—A∨B充分假言：前推后（A推B），肯前肯后，否后否前如果A，那么B；只要A，就B若A，则B所有A，是B凡是A，是B为了A，一定B为了A，必须BA指的就是B除非不A，否则B必要假言B推A只有A，才B没有A，就没有

2、B不A，不B除非A，否则不BA是B的前提，保障，基础，条件/谁是条件谁在后选言命题P、Q√相容性P∨Q—P、Q√P、—Q√选言—P、—Q×不相容性P∕Q要么P要么Q不是P就是QP∨Q的矛盾命题—（P∨Q）→—P∧—QP∨Q=—P→Q—Q→PP∨Q排中律排除一个选中一个必须先排—A∨B=A→B（鲁宾逊定律）—A∨B的矛盾命题是A∧—BA→B的矛盾命题是A∧—B模态命题必然P上反对必有一假必然非P包容矛盾包容可能P必有一真下反对可能非P模态命题的具体关系“并非必然P”等值于“可能非P”，即：不必然=可能不；“

3、并非必然非P”等值于“可能P”，即：不必然不=可能；“并非可能P”等值于“必然非P”，即：不可能=必然不；“并非可能非P”等值于“必然P”，即：不可能不=必然；模态命题与非模态命题的推出关系必然P→P→可能P;必然非P→非P→可能非P