數學演繹法的例子

演繹邏輯意味着在公理系統內證明命題（定理）正確的過程如果這個系統是有效的，那麼，所有推匯出的定理都被認爲是有效的。 例如，如果人們知道所有的狗都有4條腿，大斑點是一條狗，我們就可以按照邏輯推斷出大斑點有4條腿其他演繹推理的例子還包括亞里士多德的三段論法。