)假言推理
传统逻辑里一类有两个前提的演绎推理。其中一个前提是假言命题，另一个是此假言命题的前件，或此假言命题的后件的负命题。假言推理旧称假言三段论或混合假言三段论，现通称充分条件假言推理。
假言推理包括两种形式：①如果 A则B，A，所以,B；②如果A则B，并非B，所以，并非A。这两种形式也可以改述为两条规则：①承认前件就承认后件；②否认后件就否认前件。在日常思维中容易发生的错误是从"如果A则B，B"推出"A"；从"如果A则B,并非A"推出"并非 B"。例如，从"如果4是偶数，那么 4是能被2整除的"和"4是能被 2整除的"推出"4是偶数"。古代的逻辑学家还发现了一些重要的与假言命题有关的推理形式，如假言连锁推理，即旧称纯假言三段论，其形式为：如果A则B，如果B则C，所以，如果A则C。
