演繹推理

演繹推理（粵音：jin2 jik6 teoi1 lei5；英文 deduction），簡稱推論，又叫數學推論法，係一種推理方法。只要前提真，噉由前提推出黎嘅結論都一定會係真。但如果啲前件唔真確，噉結論就未必真確^[1][2]。

例子

肯定前項

如果 ${\displaystyle {\text{P}}}$ 係真確，${\displaystyle {\text{Q}}}$ 就會係真確，${\displaystyle {\text{P}}\rightarrow {\text{Q}}}$。

${\displaystyle {\text{P}}}$ 係真確。

結論：${\displaystyle {\text{Q}}}$ 係真確。

舉個例說明：

如果一個人係蘇格拉底（${\displaystyle {\text{P}}}$），噉「佢係一個人」（${\displaystyle {\text{Q}}}$）呢句嘢會係真確，${\displaystyle {\text{P}}\rightarrow {\text{Q}}}$。

某某係蘇格拉底（${\displaystyle {\text{P}}}$ 真確）。

某某係一個人（${\displaystyle {\text{Q}}}$ 真確）。

否定後項

如果 ${\displaystyle {\text{P}}}$ 係真確，${\displaystyle {\text{Q}}}$ 就會係真確，${\displaystyle {\text{P}}\rightarrow {\text{Q}}}$。

${\displaystyle {\text{Q}}}$ 唔係真確。

結論：${\displaystyle {\text{P}}}$ 唔係真確。

舉個例說明：

如果一個人係蘇格拉底（${\displaystyle {\text{P}}}$），噉「佢係一個人」（${\displaystyle {\text{Q}}}$）呢句嘢會係真確，${\displaystyle {\text{P}}\rightarrow {\text{Q}}}$。

某某唔係人（${\displaystyle {\text{Q}}}$ 唔真確）。

某某唔係蘇格拉底（${\displaystyle {\text{P}}}$ 唔真確）。

睇埋

• 數學證明，可以話係演繹推理最出名嘅應用之一。
• 歸納，可以算係演繹推理嘅相對。
• 先驗