Dedukce

Dedukce v obecném smyslu znamená proces uvažování od obecného ke konkrétnímu nebo odvozování konkrétních závěrů z obecných principů. V logice se jedná o metodu argumentace, kdy závěry nutně vyplývají z daných premis.

Cílem deduktivního usuzování je zajistit, že pokud jsou pravdivé premisy, musí být pravdivý i závěr, což představuje spolehlivou a platnou formu odvozování. Tento logický přístup má zásadní význam v matematice, filozofii a formálních systémech, kde pomáhá stanovit jistotu závěrů na základě stanovených principů.