| Deduktion | UserPreferences |
| Hörnan | HörnansStartsida | SenasteNytt | TitleIndex | WordIndex | Help |
En deduktion är en logisk slutledning, till skillnad från Induktion. Man kommer fram till slutledningen genom FörnuftigtTänkande. Ex: Om de två första påståendena är sanna så är också det tredje, dvs Slutsatsen, sant:
Slutledning:
Deduktiva resonemang av typen "alla x ar..." och "det finns ett x som..." hor till PredikatLogik.