假言三段論 (hypothetical syllogism)(1)指命題演算中的條定理:(q-r)→((p→q)→(p→r))。意即如果qr,那么,又如果pq,就可以得到pr。亦即:如果q→r並且pq, ...
確定! 回上一頁