nastavit jako výchozí stránku
   
   kultura

Adams
 [Edems], Douglas Noel, *11.3.1952 (Cambridge) – †11.5.2001 (Santa Barbara, California...

Berry
 Halle, *14.8.1968 (Cleveland, Ohio, USA), vlastním jménem Halle Maria Berry, americká filmová...

Modern Talking
 Německé hudební duo založené roku 1983, kdy se setkali oba jeho členové Dieter Bohlen (*7.2.1954...

Baránek
 Tomáš, *1972, český básník, spisovatel a textař, publicista a grafik. Absolvoval...

Costner
 [Kostner], Kevin, *18.1.1955 (Lynwood, Kalifornie, USA), vlastním jménem Kevin Michael Costner...


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.