複合命題的推理

複合命題的推理（inference of compound proposi-tion）以複合命題作為前提或結論並且根據複合命題的邏輯特徵所進行的推理。

基本介紹

• 中文名：複合命題的推理
• 外文名：inference of compound proposi-tion
• 定義：以複合命題作為前提或結論並且根據複合命題的邏輯特徵所進行的推理

複合命題的形式有選言命題、聯言命題、假言命題和負命題等，因而複合命題的推理相應的包括選言推理、聯言推理、假言推理、假言選言推理（即二難推理）、假言聯言推理、假言聯鎖推理、假言易位推理、反三段論以及負命題等值推理等。這一類型推理形式的有效性，都是在複合命題聯結詞的邏輯性質的基礎上建立起來的，因而有的論著稱之為聯結詞的推理。任何複合命題的推理，都可以藉助真值表的方法，即採用一個機械的方法，經過有窮步驟，判定其是否有效。如果複合命題的推理的前提蘊涵結論，即不管各支命題的真假情況怎樣，相當於該複合命題推理的前提與結論的蘊涵式是真的。則該複合命題推理就是有效的。