Nepriamy dôkaz (logika)

Nepriamy dôkaz je v logike dôkaz pomocou schémy usudzovania modus tollens, teda dôkaz podľa vzorca: ak platí "z A vyplýva B" a súčasne vieme, že platí opak B, tak platí opak A. Príklad: Ak platí "ak mám peniaze, tak si kúpim auto" a auto si nekúpim, tak nemám peniaze.

Obsah

4 vzťahy: Dôkaz, Dôkaz sporom, Modus tollens, Negácia.

Dôkaz

Dôkaz môže byť.

Pozrieť Nepriamy dôkaz (logika) a Dôkaz

Dôkaz sporom

Dôkaz sporom alebo dôkaz per absurdum je dôkaz pomocou zákona reductio ad absurdum, teda dôkaz podľa vzorca: ak platí "z A vyplýva B", potom ak vieme, že "z A vyplýva opak B", tak platí opak A. Inými slovami je dôkaz sporom toto: ak "z A vyplýva B" a zároveň "z A vyplýva opak B", tak platí opak A.

Pozrieť Nepriamy dôkaz (logika) a Dôkaz sporom

Modus tollens

(Pravidlo) modus tollens alebo (pravidlo) modus tollendo tollens je nasledujúca schéma usudzovania: ((A ⇒ B) Λ non-B) ⇒ non-A. Vyjadrené slovami: Ak platí "z A vyplýva B" a súčasne vieme, že platí opak B, tak platí opak A.

Pozrieť Nepriamy dôkaz (logika) a Modus tollens

Negácia

Negácia môže byť.

Pozrieť Nepriamy dôkaz (logika) a Negácia

Úniapédia je koncepčné mapy alebo sémantickej siete, organizované ako encyklopédia - Slovník. Dáva stručnú definíciu každého konceptu a jej vzťahov.

To je veľká internetová mentálna mapa, ktorá slúži ako základ pre koncepčných diagramov. Je to zadarmo na použitie a každý článok alebo dokument možno stiahnuť. Je to nástroj, zdroj alebo odkaz na štúdium, výskum, vzdelávanie, učenie alebo učenie, ktoré môžu byť použité podľa učiteľa, pedagógov, žiakov alebo študentov; pre akademický svet: pre školské, základným, stredným, vysoké školy, stredné, technický stupeň, vysoké školy, univerzity, vysokoškolák, magisterských a doktorandských titulov; for Papers, správy, projekty, nápady, dokumentácia, prieskumy, súhrny, alebo práce. Tu je definícia, vysvetlenie, popis, alebo význam každá významná, na ktorom by ste potrebovali nejakú informáciu, a zoznam ich pridružené pojmy ako slovníčku. K dispozícii v Slovenský, Angličtina, Španielsky, Portugalčina, Japonský, Čínsky, Francúzsky, Nemec, Talian, Polsky, Dutch, Rusky, Arabčina, Hindčina, Švédska, Ukrajinská, Maďarský, Katalánsky, Český, Hebrejčina, Dánsky, Fínsky, Indonézsky, Norwegian, Rumunský, Turkish, Vietnamci, Korean, Thai, Greek, Bulharská, Chorvátsky, Lithuanian, Filipínsky, Latvian, Estónsky a Slovinsky Ďalšie jazyky čoskoro.

Informácie sú založené na článkoch z Wikipédie a iných projektov Wikimedie a sú dostupné na základe licencie Creative Commons Attribution-ShareAlike.

Úniapédia nie je podporovaná ani pridružená k nadácii Wikimedia Foundation.

Google Play, Android a logo Google Play sú ochrannými známkami spoločnosti Google Inc.

Zásady ochrany osobných údajov