有效推理形式

有效的推理形式(effective form of inference)亦稱“正確的(符合推理規則的)推理形式”。與“非有效的推理形式”相對。指的是一個推理形式“A_{1······}A_n，所以B”是有效的推理形式，並且若且唯若具有A1······An諸形式的任何的前提為真時，具有形式B的結論一定為真，即在一個有效的推理形式中，其前提真而結論假是不可能的。

若且唯若具有A1······An諸形式的任何的前提為真時，具有形式B的結論一定為真，即在一個有效的推理形式中，其前提真而結論假是不可能的。也可以說，一個推理形式是有效的，若且唯若其前提(A_{1······}A_n)蘊泊著結論(B)。一個具體推理的推理形式如果是有效的，那么，該具體推理也就是有效的推理。如演繹推理就是有效的推理。