nastavit jako výchozí stránku
   
   kultura

Scooter
 Německá hudební skupina založená roku 1994. Jejími zakládajícími členy byli H.P. Baxxter (vlastním...

Stone
 [Stoun], Sharon, *10.3.1958 (Meadville, Pensylvánie, USA), americká filmová herečka. Studovala...

Horkýže slíže
 Slovenská hudební punková skupina založená v Nitře v listopadu roku 1992 ve složení Peter...

Eminem
 *17.10.1972 (Kansas City), vlastním jménem Marshall Bruce Mathers III, americký rapper, jeden z ...

Loukotková
 Jarmila, *14.4.1923 (Praha) – †29.10.2007 (Praha), česká prozaička. Byla dcerou českého...


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.