Difference between revisions 4868165 and 4988180 on ltwiki

< previous diff
next diff >
Dedukciniai nededukciniai samprotavimai
{{Cleanup}}

== Dedukciniai samprotavimai ==
{{iškelti|Dedukciniai samprotavimai}}
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ų(contracted; show full)avimus ir galiausiai sakai: „Gerai, aš galiu įrodyti, kad šis samprotavimas, kurį tu padarei yra teisingas“. Tai ir yra natūraliosios dedukcijos nauda, bet ne visada yra taip paprasta. Pavyzdžiui, „jeigu neišlaikai egzamino, tu privalai jį perlaikyti ir jei nesimokai jam, tu neišlaikai. Dabar tarkime, kad tu jo neperlaikai. Taigi arba tu mokaisi, arba neišlaikai, arba mokaisi, bet vis tiek neišlaikai.“ Toks samprotavimas yra pagrįstas ir gali būti įrodytas natūraliosios dedukcijos būdu.

== Šaltiniai ==
{{
refIšnašos}}
# Plečkaitis R. Logikos pagrindai. Vilnius : Tyto alba. 2004.
# Norgėla S. Logika ir dirbtinis intelektas. Vilnius : TEV. 2007.
# Eidukienė D. Logikos pratimai. Vilnius: Technika. 2005.
# Bubelis R., Jakimenko V., Valatka V. Logika. II dalis. Vilnius: MRU. 2012.
# Radavičienė N. LOGIKA. Deduktyvaus samprotavimo analizės pagrindai. Uždavinynas. Vilnius: Justitia. 2011.

== Nuorodos ==
* http://ruccs.rutgers.edu/~logic/naturalDeduction2.pdf 
* https://sites.google.com/site/informacijosklodai/analitinio-mastymo-logika/8-dedukcija-teiginiu-logikoje 
* http://www.cs.cornell.edu/courses/cs3110/2012sp/lectures/lec15-logic-contd/lec15.html