Netieši pierādījumi
- Detaļas
- Skatīts: 2222
Viens no loģisko pierādījumu veidiem, kas atšķiras ar īpaši tēžu pamatojumu. Tāda pierādījuma atšķirība no tiešā ir tāda, ka pierādāmās tēzes patiesīgums tiek pamatots noskaidrojot kādu pieņēmumu nepatiesumu.
Šodien eksistē vairāki netiešie pamata pierādījumi, starp kuriem:
- sadaloši netiešie pierādījumi - tādos tie izskatīts noteikts skaits priekšlikumu, kuru kopums izsmeļ visus šai gadījumā iespējamos apgalvojumus. Tādējādi tiek noskaidrots visu priekšlikumu nepatiesums, izņemot vienu, kas tad arī ir patiess;
- analoģisks netiešs ierādījums - dotā pierādījuma gaitā iegūst loģisku pretrunu no pieļautās antitēzes patisīguma un uz tā pamata taisa slēdzienu pat tēzes patiesīgumu.
