[拼音]：jiayan tuili

[外文]：hypothetical inference

传统逻辑里一类有两个前提的演绎推理。其中一个前提是假言命题，另一个是此假言命题的前件，或此假言命题的后件的负命题。假言推理旧称假言三段论或混合假言三段论，现通称充分条件假言推理。

假言推理包括两种形式：

（1）如果 A则B，A，所以，B；

（2）如果A则B，并非B，所以，并非A。这两种形式也可以改述为两条规则：

（1）承认前件就承认后件；

（2）否认后件就否认前件。在日常思维中容易发生的错误是从“如果A则B，B”推出“A”；从“如果A则B，并非A”推出“并非 B”。例如，从“如果4是偶数，那么 4是能被2整除的”和“4是能被 2整除的”推出“4是偶数”。古代的逻辑学家还发现了一些重要的与假言命题有关的推理形式，如假言连锁推理，即旧称纯假言三段论，其形式为：如果A则B，如果B则C，所以，如果A则C。

严正声明：本文由历史百科网注册或游客用户灵武 自行上传发布关于» 假言推理的内容，本站只提供存储，展示，不对用户发布信息内容的原创度和真实性等负责。请读者自行斟酌。同时如内容侵犯您的版权或其他权益，请留言并加以说明。站长审查之后若情况属实会及时为您删除。同时遵循 CC 4.0 BY-SA 版权协议，尊重和保护作者的劳动成果，转载请标明出处链接和本声明内容：作者：灵武；本文链接：https://www.freedefine.cn/wenzhan/78301.html