Deduksjon
Deduksjon er en logisk prosess der man trekker en konklusjon som følger nødvendigvis av gitte premisser ved hjelp av regler for slutning. Hvis premissene er sanne og argumentet er gyldig, kan konklusjonen ikke være usann.
Deduksjon skiller seg fra induksjon og abduksjon. I deduksjon er konklusjonen logisk nødvendig ut fra premissene;
Et klassisk eksempel er modus ponens: Hvis P er sant og P→Q er sant, så er Q
Formell deduksjon bruker symbolsk logikk og bevissystemer, hvor man viser at en konklusjon følger fra premissene
Historisk har deduksjon hatt røtter i Aristoteles' syllogistik, mens moderne formell deduksjon ble utviklet av logikere
Anvendelser finnes innen matematikk, informatikk, filosofi og juridisk argumentasjon, der man ønsker å etablere sikre konklusjoner