演繹推理

數學推論法，簡稱推論，又叫演繹推理，係一種推理方法。只要前提真，咁由前提推出黎嘅結論都一定會係真。

歸納
數學證明
先驗

數學證明
邏輯