nastavit jako výchozí stránku
   
   kultura

R.E.M.
 Americká hudební skupina vzniklá roku 1980 na univerzitě v Athens ve státě Georgia. Tvořili ji...

Reef
 Britská hudební skupina založená roku 1994. Jejími členy jsou: Jack Bessant (basa), Dominic...

Robbins
 Tim, *16.10.1958 (West Covina, Kalifornie, USA), vlastním jménem Timothy Francis Robbins, americký...

Dvořák
 Vladimír, *14.5.1925 (Písek) – †28.12.1999 (Praha), český scenárista, konferenciér, dramaturg...

De Niro
 Robert,*17.8.1943 (New York, USA), americký filmový herec, producent a příležitostný režisér...


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.