nastavit jako výchozí stránku
   
   kultura

Moskalyk
 Antonín, *11.11.1930 (Chust, Podkarpatská Rus, dnešní Ukrajina) – †27.1.2006 (Brno), významný...

Svěrák
 Zdeněk, *28.3.1936 (Praha), divadelní a filmový herec, autor a scenárista. Vystudoval...

Vypsaná fiXa
 Česká pardubická hudební skupina vzniklá asi roku 1992 z rozpadající se skupiny K.R.K. Základ...

Coen
 Ethan, *21.9.1957 (Minneapolis, Minnesota, USA), americký filmový scenárista a producent a ...

Mirren
 [Miren], Helen, *26.7.1946 (Chiswick, Londýn, Velká Británie), vlastním jménem Ilyena Vasilievna...


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.