Aliens

Pieslēgties Reģistrācija

Pieslēgties

Lietotājvārds *
Parole *
Atcerēties

Izveidot profilu

Fields marked with an asterisk (*) are required.
Vārds *
Lietotājvārds *
Parole *
Parole pārbaudei *
E-pasts *
E-pasts pārbaudei *
Captcha *

Izdevniecība "Apvārsnis" piedāvā

Netieši pierādījumi

Detaļas
2362 skatījumi

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.