Peržiūrėti šaltinį Bandymų ir klaidų metodas (teiginių logika)

'''Bandymų ir klaidų metodas''' [[Teiginių logika|teiginių logikoje]] yra vienas iš būdų samprotavimo pagrįstumui įvertinti.

Skirtinguose [[Logika|logikos]] vadovėliuose šis metodas vadinamas nevienodai. „Bandymų ir klaidų metodu“ jį vadina N. Lomanienė (2002: 31). V. Klenk (1994: 81) šį metodą vadina „Trumposios teisingumo lentelės metodu“ (''Short truth table method''), P. J. Hurley (2000: 338) – „Netiesiogine teisingumo lentele“ (''Indirect truth table'').

Samprotavimas yra nepagrįstas, jeigu jo išvada gali būti klaidinga, kuomet jo išvados yra teisingos. Vertinant samprotavimo pagrįstumą bandymų ir klaidų metodu, mėginama nebraižant [[Teisingumo lentelė (logika)|teisingumo lentelės]] atrasti tokias samprotavimo kintamųjų reikšmes, su kuriomis išvada būtų klaidinga, o prielaidos – teisingos.

Pavyzdžiui, turime samprotavimą

: Jei vaikas netvarkingas, tai jis blogai mokosi.
: Jei vaikas dažnai serga, tai jis blogai mokosi.
: Vadinasi, jei vaikas netvarkingas, tai jis dažnai serga.

Šio samprotavimo [[loginė forma]] yra

: Jei P, tai Q.
: Jei R, tai Q.
: Vadinasi, jei P, tai R.

Užrašius teiginių logikos simboliais:

: <math> P \rightarrow Q </math>
: <math> R \rightarrow Q </math>
: <math> \vdash P \rightarrow R </math>

Priimkime prielaidą, kad šio samprotavimo išvada klaidinga, o prielaidos teisingos. Jei P → R klaidinga, tai P teisinga, o R – klaidinga. Jei P → Q teisinga, ir P taip pat teisinga, tai Q irgi turi būti teisinga. Jei R klaidinga, o Q – teisinga, tai R → Q irgi turi būti teisinga. R → Q pagal pradinę prielaidą ir yra teisinga. Vadinasi, šio samprotavimo prielaidos iš tikrųjų gali būti teisingos, kai jo išvada yra klaidinga, jeigu kintamųjų reikšmės yra:

* P – teisinga
* R – klaidinga
* Q – teisinga

Tai reiškia, kad samprotavimas nepagrįstas.

== Šaltiniai ==
* Hurley P.J. „A Concise Introduction to Logic“. 7<sup>th</sup> ed. – Belmont: Wadsworth Publishing, 2000, ISBN 0-534-96888-0
* Klenk V. „Understanding Symbolic Logic“. 3<sup>rd</sup> ed. – Englewood Cliffs: Prentice Hall, 1994, ISBN 0-13-060767-3
* Lomanienė N. „Logika: deduktyvaus samprotavimo analizės pagrindai“. – Vilnius: Justitia, 2002, ISBN 9986-567-78-5

== Taip pat skaitykite ==
* [[Matricų metodas (teiginių logika)]]

[[Kategorija:Logika]]