Co je dvojí negace
V analytickém jazyce by zkrátka dvojí negace vyžadovala dvojí použití samostatného záporného výrazu. Naopak v češtině je první zápor vyjádřen pouhou modifikací slovesa pomocí předpony: říkám – neříkám. Proto lze přirozeně posílit emoční sílu záporu přidáním (prvního) samostatného záporného slova, jako třeba „nic“.
Archiv
Co to je implikace
Implikace (z lat. implicatio, propletení, zahrnutí) znamená vztah vyplývání nebo zahrnutí. Skutečnost nebo výpověď A implikuje nějaké B, pokud z A nutně vyplývá B, případně pokud je B v A už zahrnuto čili implikováno. Příklad: „Nebude-li pršet, nezmoknem.
Co je to kontradikce
Kontradikce (z lat. contra-dicere, protiřečit) znamená spor nebo protimluv.
Jak funguje negace
Negace výroku obrací jeho pravdivostní hodnotu, jinými slovy, jejím výsledkem je výrok, který je pravdivý přesně tehdy, když je ten průvodní nepravdivý, a naopak. Negace výroku p se značí ¬ p. Příklad: Negace výroku "Máme alespoň dvě jablka" je výrok "Máme méně než dvě jablka".
Co je to tautologie
Tautologie (z řeckého ταυτολογία, tautologia, výpověď o témže) je v logice vždy pravdivý složený výrok. Je pravdivý vždy, bez ohledu na pravdivostní hodnotu jednotlivých částí takového výroku. Příkladem tautologie je výrok: „Buď bude zítra pršet, nebo zítra pršet nebude.
Jak napsat negaci
Negace výroku se označuje symbolem ¬. Tento symbol se umísťuje před označení výroku. Negace výroku se dá též zapsat textově non či graficky ′. Pokud je tedy výrok označen jako A, negace takového výroku může být ¬A, nonA či A′.
Jak vytvořit negaci
Nejjednodušším způsobem, jak z výroku vyrobit jeho negaci, je přidat na začátek daného výroku formulaci: „Není pravda, že…“ Další možností je ovšem vytvoření nového výroku s opačnou „pravdivostí“. Pokud vyrábíme z výroku jeho negaci, říkáme, že výrok negujeme.
Co není výrok
Výrokem není například tázací věta nebo věta, u které nemůžeme jednoznačně určit její pravdivostní hodnotu. Opět příklad: Bude i příští rok Bill Gates nejbohatší člověk na světě
