nastavit jako výchozí stránku
   
   kultura

Trojan
 Ivan, *30.6.1964 (Praha, ČSSR), český filmový, televizní a divadelní herec. Je synem herce...

Bellucci
 [Beluči], Monica, *30.9.1968 (Cittá di Castello, Perugia, Itálie), vlastním jménem Monica Anna Maria...

Traband
 Česká hudební skupina založená roku 1995 nejprve jako tříčlenná ve složení Jarda Svoboda (zpěv...

Mendes
 Sam, *1.8.1965 (Reading, Berkshire, Velká Británie), vlastním jménem Samuel Alexander Mendes...

Cuarón
 Alfonso, *28.11.1961 (Mexico City, Mexiko), vlastním jménem Alfonso Cuarón Orozoo, mexický filmový...


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.