公理到定理的過程是演繹法

演繹邏輯意味着在公理系統內證明命題（定理）正確的過程如果這個系統是有效的，那麼，所有推導出的定理都被認為是有效的。

例如，如果人們知道所有的狗都有4條腿，大斑點是一條狗，我們就可以按照邏輯推斷出大斑點有4條腿其他演繹推理的例子還包括亞里士多德的三段論法。