假言三段論

假言三段論（hypothetical syllogism)(1)指命題演算中的條定理：（q-r)→（（p→q）→(p→r))。意即如果qr，那么，又如果pq，就可以得到pr。亦即：如果q→r並且pq，就可以得到p→r。此定理被稱為三段論原則。（2）即“假言直言推理”。