nastavit jako výchozí stránku
   
   kultura

Foglar
 Jaroslav, *6.7.1907 (Praha) – †23.1.1999 (Praha), český spisovatel zaměřený především na prózu...

Dvorská
 Milena, *7.9.1938 (Prostějov, Československo) – †22.12.2009 (Praha, Česká republika), česká...

Redford
 Robert, *18.8.1937 (Santa Monica, Kalifornie), vlastním jménem Charles Robert Redford jr., významný...

Curtis
 Richard, *8.11.1956 (Velká Británie), britský filmový herec, scenárista a režisér. Prosadil se...

Roxette
 Švédská hudební skupina, kterou od roku 1986 tvoří zpěvačka Gun Marie Fredriksson (*30.5.1958...


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 - 2018, OPTIMUS s.r.o.