如何证明推理形式有效

判断推理的有效性可以使用三段论的方式。三段论第一格的AAA式,是一个有效的推理形式。运用这一有效的推理形式所进行的推理,就是有效推理。运用有效的推理形式所进行的推理。亦即是前提蕴涵着结论的推理。一个有效的推理,其前提真而结论假是不可能的。

例如:“一切金属都是能导电的,一切有色金属都是金属,所以一切有色金属都是能导电的。”这一具体推理是一个符合三段论规则的、正确运用了三段论第一格AAA式的推理,所以,它就是一个有效推理。

有效的推理形式亦称“正确的(符合推理规则的)推理形式”。与“非有效的推理形式”相对。指的是一个推理形式“A1······An,所以B”是有效的推理形式,并且当且仅当具有A1······An诸形式的任何的前提为真时,具有形式B的结论一定为真。

当且仅当具有A1······An诸形式的任何的前提为真时,具有形式B的结论一定为真,即在一个有效的推理形式中,其前提真而结论假是不可能的。也可以说,一个推理形式是有效的,当且仅当其前提(A1······An)蕴泊着结论(B)。