nastavit jako výchozí stránku
   
   kultura

Douglas
 Michael, *25.9.1944 (New Brunswick, New Jersey, USA), americký filmový herec a producent. Je...

Smoljak
 Ladislav, *9.12.1931 (Praha, Československo) – †6.6.2010 (Kladno, Česká republika), český...

Lety mimo
 Česká hudební skupina založená roku 1990 několika spolužáky z Umělecko průmyslové školy v ...

Pollack
 Sydney, *1.7.1934 (Lafayette, Indiana, USA) – †26.5.2008 (Los Angeles, Kalifornie, USA...

Queen
 Britská hudební skupina založená roku 1970 ve složení Freddie Mercury (zpěv), Brian May (kytara...


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.