nastavit jako výchozí stránku
   
   kultura

Payne
 [Pejn], C. Douglas, *1949 (Akron, Ohio), americký spisovatel. Po studiu evropské historie na Harvard...

Issová
 Martha, *22.3.1981 (Praha, Česká republika), česká filmová, televizní a divadelní herečka...

Amenábar
 Alejandro, *31.3.1972 (Santiago de Chile, Chile), španělský filmový režisér, scenárista, hudební...

Ulrychová
 Hana, *31.3.1949 (Liberec), česká zpěvačka. Již od mládí zpívala v dětských sborech a ...

Hála
 Karel, *2.10.1933 (Hradec Králové) – †7.7.2008, český zpěvák. Zpěv vystudoval na pražské...


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