《2022年逻辑推理公式 .pdf》由会员分享，可在线阅读，更多相关《2022年逻辑推理公式 .pdf（3页珍藏版）》请在taowenge.com淘文阁网|工程机械CAD图纸|机械工程制图|CAD装配图下载|SolidWorks_CaTia_CAD_UG_PROE_设计图分享下载上搜索。
1、第 1 页 共 3 页直言命题所有的都是上反对必有一假所有的都不是包容矛盾包容有的是必有一真下反对有的不是所有的 A 是 B 上反对必有一假所有的 A 都不是 B 包容矛盾包容有的 A 是 B 必有一真下反对有 A 的不是 B 三段论AB BCAB 有的 B 是 C AC 有的 C 是 BB A 逆否（AB 的矛盾关系 AB）AB 有的 AB 有的 BA AB BC 名师资料总结-精品资料欢迎下载-名师精心整理-第 1 页，共 3 页 -第 2 页 共 3 页充分假言：前推后（A 推 B），肯前肯后，否后否前如果 A，那么 B；只要 A，就 B 若 A，则 B 所有 A，是 B 凡是 A，是
2、B 为了 A，一定 B 为了 A，必须 B A 指的就是 B 除非不 A，否则 B 必要假言B 推 A 只有 A，才 B 没有 A，就没有 B 不 A，不 B 除非 A，否则不 B A 是 B 的前提，保障，基础，条件/谁是条件谁在后选言命题P、Q 相容性PQ P、Q P、Q 选言P、Q 不相容性 PQ 要么 P 要么 Q 不是 P 就是 Q PQ 的矛盾命题（PQ）P Q PQ=P QQ PPQ 排中律排除一个选中一个必须先排AB=AB（鲁宾逊定律）AB 的矛盾命题是AB AB 的矛盾命题是AB 名师资料总结-精品资料欢迎下载-名师精心整理-第 2 页，共 3 页 -第 3 页 共 3 页模态命题必然 P 上反对必有一假必然非 P 包容矛盾包容可能 P 必有一真下反对可能非 P 模态命题的具体关系“并非必然 P”等值于“可能非P”，即：不必然=可能不；“并非必然非 P”等值于“可能 P”，即：不必然不=可能；“并非可能 P”等值于“必然非P”，即：不可能=必然不；“并非可能非 P”等值于“必然 P”，即：不可能不=必然；模态命题与非模态命题的推出关系必然 P P 可能 P;必然非 P 非 P 可能非 P 名师资料总结-精品资料欢迎下载-名师精心整理-第 3 页，共 3 页 -