nastavit jako výchozí stránku
   
   kultura

Vejdělek
 Jiří, *11.5.1972 (Šluknov, Česká republika), český filmový režisér a scenárista. Vystudoval...

Ruilova
 Andrea, *16.3.1980 (Cuenca), plným jménem Andrea del Rocio Ruilova Barzola, ekvádorská zpěvačka...

Dido
 *25.12.1971 (Londýn), plným jménem Florian Cloud De Bounevialle Armstrong, britská zpěvačka. Od pěti...

Wilder
 [Vajldr], Billy, *22.6.1906 (Sucha Beskidzka, Halič, Rakousko-Uhersko, dnešní Polsko) – †27.3...

Bočan
 Hynek, *29.4.1938 (Praha), český filmový a televizní režisér. V roce 1961 absolvoval obor...


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.