Kdy plati Disjunkce
Disjunkce výroků \mathbf{A} a \mathbf{B} je nepravdivá jen v případě, kdy jsou oba spojované výroky nepravdivé. Tedy jen v tom případě, kdy výrok \mathbf{A} je nepravdivý a současně výrok \mathbf{B} je nepravdivý. Jinak řečeno, když: Platí negace výroku \mathbf{A} a současně platí také negace výroku \mathbf{B}.
Kdy je pravdivá konjunkce
Konjunkce je pravdivá právě tehdy, když jsou pravdivé oba spojované dílčí výroky. Jinak je nepravdivá. Jinak řečeno, aby byla konjunkce pravdivá, musí být pravdivé oba spojované výroky. Pokud je pravdivý jen jeden nebo dokonce žádný, konjunkce je nepravdivá.
Kdy je implikace pravdivá
Implikace je pravdivá pravě tehdy, když jsou oba spojované výroky pravdivé nebo když je první výrok nepravdivý. Neboli: Implikace není pravdivá jen v případě, že první výrok je pravdivý a zároveň druhý je nepravdivý. Pro zachycení těchto informací pomocí tabulky pravdivostních hodnot opět potřebujeme značení.
Archiv
Jak poznat výrok
Výrok je každá oznamovací věta (sdělení), u níž dává smysl, když uvažujeme, zda je buď pravdivá, nebo nepravdivá. U výroku určujeme pravdivostní hodnotu. Pokud výrok platí, označíme jeho pravdivostní hodnotu číslicí 1, pokud neplatí, označíme jeho pravdivostní hodnotu číslicí 0.
Archiv
Jak negovat výroky
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.
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".
Kdy je formule splnitelná
Formule je splnitelná (konsistentní), jestliľe alespoň jeden list odpovídajícího sémantického stromu nese výslednou hodnotu interpretace true. Formule je platná (tautologická), jestliľe vąechny listy jejího úplného sémantického stromu nesou výslednou hodnotu interpretace true.
Jak nahradit implikaci
Z čistě logického pohledu lze implikaci nahradit výrazem "¬ p ∨ q", můžete si pro něj sestavit pravdivostní tabulku a uvidíte, že tento nový výrok má přesně stejné hodnoty jako implikace, proto říkají totéž. Jsou také alternativní způsoby, jak implikaci p => q číst.
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 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.
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ě
Jak poznam Tautologii
To, zda je výrok pravdivý nebo nepravdivý lze ověřit pomocí pravdivostních tabulek – tabulková metoda (vytvoříme si tabulku formule, a pokud je formuli v každém řádku přiřazena jednička, je to tautologie).
Co to je negace
Velmi často v matematické logice potřebujeme k danému výroku nalézt výrok, který tvrdí přesný opak. K tomu slouží negace. Negací výroku budeme rozumět takový výrok, který popírá pravdivost výroku původního. Negace výroku je tedy jeho „pravý opak“, který vylučuje platnost původního výroku.
Co je to kontradikce
Kontradikce (z lat. contra-dicere, protiřečit) znamená spor nebo protimluv.
Co je to neguje
Negace je jedním z prvních slov/morfémů, které se děti při osvojování mateřského jazyka naučí. Je to také jeden z nejdůležitějších výrazů přirozeného jazyka, ten, kterým vyjadřujeme zcela jasně svůj nesouhlas, případně popření nějakého výroku.