Dedukciniai samprotavimai: Skirtumas tarp puslapio versijų

{{Cleanup}}

 

Dedukcinis samprotavimas arba dedukcinis metodas arba loginė dedukcija tai samprotavimo procesas, kai iš vienos ar daugiau bendrųjų sąvokų (premisų) išvedami logiškai pagrįsti teiginiai. Dedukcinis metodas jungia premisas su išvadomis. Jei visos premisos yra teisingos ir yra laikomasi visų dedukcinio samprotavimo taisyklių, tai išvada būtinai yra teisinga. Paprasčiausiais dedukcinio samprotavimo pavyzdžiais gali būti jau mūsų nagrinėti samprotavimai, atlikti remiantis modus ponens, modus tollens ar kitais paprastais logikos dėsniais. Realiuose gyvenimiškuose uždaviniuose dažniausiai prielaidų būna daugiau nei dvi, o pačios prielaidos būna sudėtingi teiginiai, sudaryti iš tam tikro skaičiaus pirminių teiginių. Tokiai prielaidų visumai, kaip taisyklė, nepavyksta iš karto pritaikyti kokio nors žinomo paprasto logikos dėsnio. Tada išvadų pagrindimui taikomi kiti (teisingumo lentelių, formaliosios dedukcijos) logikos metodai.