形式演绎是指一个论证有效性的形式证明

前提真同时结论真，可能说明推理形式有效。区分“有效性”和“可靠性”。有效性：论证形式有效，前提可真可假。可靠性：论证形式有效且前提为真。有效性是针对论证形式而言的。有效的论证不管论证的内容（具体前提和结论）是什么，其推理形式都是正确的有效的，即对于一个有效的论证，如果前提为真，那么结论也为真。

我们称有效且前提为真的论证为可靠的论证。考虑下面这个例子：苏格拉底是人。人是会死的。所以苏格拉底是会死的。其论证形式如下：a是XX是Y所以a是Y。这是一个三段论中的有效形式，也就是说这个论证形式是有效的。

并且前提“苏格拉底是人”是真的，于是上述苏格拉底会死的论证是可靠的。