公理到定理的过程是演绎法

演绎逻辑意味着在公理系统内证明命题（定理）正确的过程如果这个系统是有效的，那么，所有推导出的定理都被认为是有效的。

例如，如果人们知道所有的狗都有4条腿，大斑点是一条狗，我们就可以按照逻辑推断出大斑点有4条腿其他演绎推理的例子还包括亚里士多德的三段论法。