| 复合命题的推理 inference of compound proposition 以复合命题作为前提或结论并且根据复合命题的逻辑特征所进行的推理。复合命题的形式有选言命题、联言命题、假言命题和负命题等，因而复合命题的推理相应的包括选言推理、联言推理、假言推理、假言选言推理(即二难推理)、假言联言推理、假言联锁推理、假言易位推理、反三段论以及负命题等值推理等。这一类型推理形式的有效性，都是在复合命题联结词的逻辑性质的基础上建立起来的，因而有的论著称之为联结词的推理。任何复合命题的推理，都可以借助真值表的方法，即采用一个机械的方法，经过有穷步骤，判定其是否有效。如果复合命题的推理的前提蕴涵结论，即不管各支命题的真假情况怎样，相当于该复合命题推理的前提与结论的蕴涵式是真的，则该复合命题推理就是有效的。 |