nastavit jako výchozí stránku
   
   kultura

Stewart
 Rod, *10.1.1945 (Londýn), plným jménem Roderick David Stewart, britský zpěvák. Svou kariéru začal...

B.S.P.
 Česká hudební skupina, tvoří ji hudebníci Ota Baláž, Kamil Střihavka a Michal Pavlíček (název...

Elán
 Slovenská hudební poprocková skupina založená roku 1969 jako školní, respektive sídlištní skupina...

Zahajský
 Jiří, *9.11.1939 (Mšeno u Mělníka) – †19.7.2007 (Praha), český herec, manžel Jany...

Kingsley
 [Kingsly], Ben, *31.12.1943 (Snaiton, North Yorkshire, Velká Británie), vlastním jménem Krishna...


důkaz
Logika, zdůvodnění pravdivosti výroků, posloupnost výroků nebo výrokových formulí, která začíná výroky přijatými jako předpoklady (premisy), pak obsahuje výrazy, jež jsme dostali z předpokladů transformacemi, které dovolují deduktivní pravidla (demonstrace), a jako poslední článek těchto transformací vystupuje dokazovaný výrok (teze). V přímém důkazu je pravdivost teze dokázána, jestliže logicky plyne z pravdivých argumentů. V nepřímém důkazu se předpokládá nepravdivost závěru a dovolenými transformacemi se dochází z této negace závěru ke sporu s argumenty nebo k logicky spornému výroku.
Viz také nepřímý důkaz.


 

Odkazující hesla: vyvrácení
Vytvořeno: 14.3.2000
Aktualizováno: 25.8.2006
Autor:





Texty encyklopedických hesel mohou obsahovat slova nebo slovní spojení, která mohou
být ochrannými známkami nebo registrovanými ochrannými známkami příslušných vlastníků.

© 1999 - 2017, OPTIMUS s.r.o.