如何证明推理形式有效

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

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

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

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