Výroková logika (VL) je základným stavebným kameňom matematickej logiky, ktorý sa zaoberá výrokmi, ich pravdivostnými hodnotami a zákonitosťami ich odvodzovania. Výrok je definovaný ako každé napísané alebo vyslovené tvrdenie, o ktorého pravdivosti má zmysel uvažovať. V matematickej logike je výrok čokoľvek v jazykovom tvare, čo vyjadruje nejaké tvrdenie, alebo čokoľvek v jazykovom tvare, čomu možno priznať pravdu alebo nepravdu. Zjednodušene povedané, výrok je výraz, ktorý má práve jednu pravdivostnú hodnotu: buď je pravdivý (označujeme 1 alebo P), alebo nepravdivý (označujeme 0 alebo F).
Výrokmi nie sú opytovacie, rozkazovacie, zvolacie a neúplné vety. Pri pohľade na jednotlivé výroky sa zaujímame o výrokové spojky a pri atomických výrokoch nás nezaujíma ich vnútorná štruktúra. Atomický výrok je jednoduché tvrdenie, ktoré nie je možné ďalej deliť. Takéto tvrdenia označujeme pomocou výrokových premenných $p, q, r, …$.
Negácia ako unárna operácia
Negácia je najjednoduchšia logická operácia, ktorá je unárna, čo znamená, že má len jeden operand. Negácia výroku je výrok opačnej pravdivostnej hodnoty ako pôvodný výrok. Ak bol výrok pravdivý, jeho negácia je nepravdivá, ak bol nepravdivý, jeho negácia je pravdivá. Operátorom negácie je „nie je pravda, že“, alebo predpona „ne-“. V matematickom zápise používame symbol $\neg$ alebo apostrof nad výrokom ($A'$).
Zaujímavým fenoménom je princíp vylúčenia tretej možnosti: buď je pravdivý výrok $p$, alebo výrok $\neg p$. Negáciou negácie je opäť pôvodný výrok. Bežný jazyk je v tomto smere často vágny a nepresný. Napríklad, ak $A=$ "Prší", potom $A'=$ "Neprší".
Binárne operácie: Konjunkcia a disjunkcia
Konjunkcia je binárna operácia, ktorá spája dva výroky. Jej logickým operátorom je spojka „a“, v matematickom zápise symbol $\wedge$. Konjunkciu nazývame aj logický súčin, pretože jej pravdivostné hodnoty zodpovedajú binárnemu súčinu pravdivostných hodnôt oboch výrokov. Výsledný zložený výrok je pravdivý len vtedy, ak sú oba elementárne výroky pravdivé.
Disjunkcia je taktiež binárna operácia, ktorej operátorom je logická spojka „alebo“, v matematickom zápise $\vee$. V bežnej reči obvykle, ak použijeme slovo alebo, máme na mysli, že nastane práve jedna z možností. V logike však disjunkcia nemá vylučovací zmysel - nevylučujeme možnosť, že oba výroky sú pravdivé. Výrok je pravdivý, ak je aspoň jeden z výrokov pravdivý.
Vylučujúce alebo a implikácia
Vylučujúce alebo (anglicky exclusive or, v Exceli XOR) je binárna logická operácia, ktorej operátorom je spojka „buď … alebo …“. V matematickom zápise ju značíme symbolom $\oplus$. Kým bežná disjunkcia pripúšťa oba stavy, XOR vyžaduje, aby nastala práve jedna z možností.
Implikácia je binárna logická operácia, ktorej operátorom je spojka „ak …, potom …“ alebo „ak …, tak …“, v matematickom zápise $\Rightarrow$. Platnosť výroku $A$ je postačujúcou podmienkou pre platnosť výroku $B$, ale nie je nutnou podmienkou pre platnosť $B$. Implikácia je často považovaná za najzradnejšiu operáciu. Napríklad výrok: „Ak prirodzené číslo $n$ končí číslicou 0, potom je deliteľné 5“ je pravdivý. Pamätajte, že v logike sú kombinácie „nepravda implikuje pravdu“ a „nepravda implikuje nepravdu“ vždy pravdivé.
Obrátená implikácia a ekvivalencia
K implikácii $A \Rightarrow B$ je obrátenou implikáciou $B \Rightarrow A$. Hoci je pôvodná implikácia pravdivá, obrátená implikácia pravdivá byť nemusí. Príklad: „Ak je na oblohe dúha, potom prší“ je pravdivý výrok. Avšak obrátená implikácia „Ak prší, potom je na oblohe dúha“ pravdivá nie je, pretože väčšinou, keď prší, dúha nevznikne.
Ekvivalencia $A \Leftrightarrow B$ je pravdivý výrok práve vtedy, ak výroky $A$ a $B$ majú rovnakú pravdivostnú hodnotu. Pojem ekvivalencia označujeme dvomi symbolmi $\Leftrightarrow$ a $\equiv$. V prvom prípade ide o odvodenú logickú spojku výrokovej logiky, v druhom o matematický metasymbol jazyka.
Pravdivostné tabuľky výrokovej logiky | Elea: Nauč sa matiku
Sémantika a pravdivostné tabuľky
Sémantika výrokovej logiky definuje význam jednotlivých formúl. Pravdivostná hodnota je definovaná ako jednoznačné zobrazenie z množiny všetkých formúl do množiny ${1, 0}$, ktorá kóduje pravdu a nepravdu. Pre zápis pravdivostného ohodnotenia formúl sa vo všeobecnosti používa metóda nazývaná pravdivostná tabuľka. Prostredníctvom tabuľkovej metódy je možné zistiť, či je formula tautológiou (vždy pravdivá), kontradikciou (vždy nepravdivá), alebo splniteľná.
Majme výrokovú formulu $\phi = \neg p \wedge r \Rightarrow q \vee s$. Veľkosť formuly vyjadruje počet uzlov jej abstraktného syntaktického stromu. Pri zložitejších formuliach sa často využívajú zákony výrokovej logiky na zjednodušenie, napríklad De Morganove zákony alebo distributívny zákon.
Normálne tvary a Karnaughove mapy
Jazyk výrokovej logiky obsahuje mnoho redundancií, preto používame normálne tvary na elimináciu niektorých spojok. Poznáme Negatívny normálny tvar (NNF), Disjunktívny normálny tvar (DNF) a Konjunktívny normálny tvar (CNF). Karnaughove mapy predstavujú prehľadný spôsob zjednodušovania booleovských funkcií. Ide o dvojrozmernú tabuľku, ktorá obsahuje $2^n$ buniek pre $n$ premenných. Jednotlivé bunky sú indexované vstupnými premennými, čo umožňuje vizuálne združovanie jednotiek a núl do štvorcov či obdĺžnikov, čím dosiahneme minimálny normálny tvar formuly.
Logika nie je len abstraktnou disciplínou pre matematikov. Je to nástroj na presné vyjadrovanie a kľúč k programovaniu, kde operátory AND, OR a NOT fungujú presne na základe týchto definovaných princípov. Správne ovládanie práce s výrokmi, pochopenie rozdielu medzi konjunkciou a disjunkciou a zručnosť pri tvorbe pravdivostných tabuliek tvoria nevyhnutný základ pre každého, kto sa chce venovať logike, informatike či analytickému mysleniu.
tags: #konjunkcia #disjunkcia #tabulka