假言联锁推理

---

依据假言判断前后件联系的逻辑特性及其传递性进行的推理，它包括充分条件联锁推理和必要条件联锁推理两类基本形式。

充分条件联锁推理有肯定后传式和否定前传式两种逻辑形式：

(1)肯定后传式

∵ 如果p，那末q；

如果q，那末r。

∴ 如果p，那末r。

((p→q))∧(q→r)→(p→r))

(2)否定前传式

∵ 如果p，那末q；

如果q，那末r。

∴ 如果非r，那末非p。

(1)如，如果忽视安全生产，那末就会发生事故：如果发生事故，那末就会给生命财产造成损失；所以如果忽视安全生产，那末就会给生命财产造成损失。(2)如，如果忽视安全生产，那末就会发生事故；如果发生事故，那末就会给生命财产造成损失；所以要不给生命财产造成损失，就不要忽视安全生产。

必要条件联锁推理有否定后传式和肯定前传式两种逻辑形式：

(1)否定后传式

∵ 只有p，才q；

只有q，才r；

∴ 只有p，才r。

(2)肯定前传式

∵ 只有p，才q；

只有q，才r；

∴ 如果r，那末p。

(1)如，只有搞好科技现代化，才能搞好国防现代化、只有搞好国防现代化，才能有巩固的国防。

因此只有搞好科技现代化，才能有巩固的国防。(2)如，只有搞好科技现代化，才能搞好国防现代化，只有搞好国防现代化，才能有巩固的国防，如果要有巩固的国防，那末就要搞好科技现代化。

假言联锁推理形式紧凑、严谨，是有说服力的论证形式和简洁的表述形式。