VÝROKOVÁ LOGIKA

Výroková (matematická) logika je vyjadřovací prostředek matematiky, s nímž se můžeme

setkat v různé terminologii a ve všemožných matematických větách.

K čemu je logika
Logika je věda, která se zabývá usuzováním, pravdivostí, dokazatelností a vyvratitelností.
Přitom všem jde v logice pouze o formu sdělení, nezajímá nás, co konkrétně je sdělováno,
stejně jako nás nezajímají různé psychologické interpretace a podobné věci.

Pokud máme například větu „číslo 2 je sudé a zároveň je liché“, tak můžeme usoudit, celá
věta není pravdivá, protože čísla 2 není liché. To jsou věci, které obecně řeší logika.

Výrok
Základem výrokové logiky je pochopitelně výrok. Výrokem je každá oznamovací věta, u
které můžeme určit její pravdivostní hodnotu. Příklady jednoduchých výroků:

 Bill Gates byl nejbohatší člověk na světě.

 Přirozené číslo pět je liché číslo.
 HTML je programovací jazyk.
 Dva plus tři je šest.

Toto všechno jsou výroky. Ať už jsou pravdivé (první dva) nebo jsou nepravdivé (poslední
dva). 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ě?

 Zelená barva je nejkrásnější.

První věta nemůže být výrok, protože je to tázací věta, u druhé věty zase neurčíme, jestli je to
pravdivý výrok nebo nepravdivý. Taková věta se pak nazývá hypotéza (domněnka).

Klasická matematická logika si neumí příliš dobře poradit s vágními větami typu „Honza je
vysoký“ nebo „Britney Spears je dobrá zpěvačka“. Tyto výroky se lépe řeší například ve
fuzzy logice, která je pro vágnost uzpůsobena.

Atomický výrok
V první kapitole jsme měli příklad výroku „číslo 2 je sudé a zároveň je liché“. Takový výrok
můžeme nazvat složený, protože ve skutečnosti spojuje dva kratší výroky: „číslo 2 je sudé“ a
„číslo 2 je liché“. Tyto dva výroky jsou pak spojeny výrokovou spojkou „a“ nebo také „a
zároveň“.

Atomický výrok je tak výrok, který už dále nemůžeme dělit, jedná se v jistém smyslu o to
nejjednodušší konstatování. Předchozí příklady výroků byly ve skutečnosti atomické výroky:
  Bill Gates byl nejbohatší člověk na světě.
 Přirozené číslo pět je liché číslo.
 HTML je programovací jazyk.
 Dva plus tři je šest.

Atomické výroky budeme dále značit malými písmeny abecedy, klasicky p, q, r, … a budeme
jim říkat výrokové symboly.

Výrokové spojky
Matematická logika běžně operuje s určitou sadou výrokových spojek. Mezi základní patří
čtyři binární spojky:

 p ∧ q je konjunkce výroků, čteme „výrok p a (zároveň) výrok q“

 p ∨ q je disjunkce výroků, čteme „výrok p nebo výrok q“


 je implikace, čteme „jestliže výrok p, pak výrok q“

 p ⇔ q je ekvivalence, čteme „výrok p právě tehdy když výrok q“

Konkrétní příklady výrokových spojek:

 V centru Opavy prší a zároveň svítí slunce. (konjunkce)

 V centru Opavy prší nebo svítí slunce. (disjunkce)
 Apple je nejhustější firma a Steve Jobs je největší týpek. (konjunkce)
 Jestliže si vezmete projímadlo, pak se brzy pose… (implikace)
 Jestliže je číslo x dělitelné čtyřmi, pak je i dělitelné dvěma. (implikace)
 Agáta je hezká a zároveň chytrá. (konjunkce)
 Zpěvačky jsou úspěšné právě tehdy, když jsou hezké. (ekvivalence)
 Nebude-li pršet, nezmokneme. (implikace)
 Pokud umí Leoš Mareš zpívat, pak jsem čínský bůh srandy. (implikace)

Známe ještě jednu běžnou výrokovou spojku: negaci. Negace se značí buď čárkou

nebo pomocí symbolu .