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...

Kryl
 Karel, *12.4.1944 (Kroměříž) – †3.3.1994, český písničkář a básník. Jeho otec i ...

Hopkins
 Anthony, Sir, *31.12.1937 (Margam, West Glamorgan, Wales), vlastním jménem Philip Anthony Hopkins...

Bardem
 Javier, *1.5.1969 (Las Palmas de Gran Canaria, Kanárské ostrovy), španělský filmový herec. Je...

Burma Jones
 Česká plzeňská hudební pop-rocková skupina založená v roce 1991 bývalými spoluhráči Bohoušem...


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.