Hledáš na e-shopu tenisky. Zaškrtneš značky Nike a Adidas a najednou vidíš víc bot: stačí, aby byly od jedné z těch dvou značek. Pak přidáš velikost 42 a černou barvu a bot je méně: teď musí platit obě podmínky zároveň. Aniž bys to tušil, právě jsi použil dvě logické spojky — „nebo“ a „a“.
Máma ti řekne: „Jestliže si uklidíš pokoj, půjdeš v sobotu na koncert.“ Kdy tě podvedla? A kdy ne? I na to má logika přesnou odpověď.
Z jednoduchých výroků lze složit složitější. Slouží k tomu logické spojky: „ne“, „a“, „nebo“, „jestliže …, pak …“ a „právě tehdy, když“. Dobrá zpráva: pravdivost složeného výroku závisí jen na pravdivosti jeho částí. Nezáleží na tom, jestli mluví o teniskách, koncertu, nebo prvočíslech.
Obsah
- Pět logických spojek
- Negace
- Konjunkce — a
- Disjunkce — nebo
- Implikace — jestliže, pak
- Ekvivalence — právě tehdy, když
- Tabulka pravdivostních hodnot složeného výroku
- Nejčastější chyby
- Zkus si sám
- Řešení
- Ve zkratce
- Procvič si
Pět logických spojek
| Název | Zápis | Čteme |
|---|---|---|
| negace | A′ | ne A, neplatí A |
| konjunkce | A ∧ B | A a B |
| disjunkce | A ∨ B | A nebo B |
| implikace | A ⇒ B | jestliže A, pak B |
| ekvivalence | A ⇔ B | A právě tehdy, když B |
V tabulkách níže znamená 1 pravdivý výrok a 0 nepravdivý.
Řádky jdou vždy ve stejném pořadí:
| A | B |
|---|---|
| 1 | 1 |
| 1 | 0 |
| 0 | 1 |
| 0 | 0 |
💡 Tohle pořadí si zapamatuj jednou provždy. Když ho dodržíš, snadno porovnáš svou tabulku se spolužákovou i s řešením.
Negace
Negace otočí pravdivost: z pravdivého výroku udělá nepravdivý a naopak. Zapisujeme ji čárkou za výrokem: A′ čteme „non A“ nebo „ne A“.
💡 V některých knihách najdeš negaci zapsanou i jako ¬A. Znamená to totéž.
| A | A′ |
|---|---|
| 1 | 0 |
| 0 | 1 |
Příklady:
- A: „Číslo 12 je dělitelné číslem 5.“ (0) → A′: „Číslo 12 není dělitelné číslem 5.“ (1)
- B: „Venku prší.“ → B′: „Venku neprší.“
- C: „Je mi aspoň 15 let.“ → C′: „Je mi méně než 15 let.“
⚠️ Negace není „opak“ v běžném smyslu. Negace výroku „Číslo 5 je větší než 3.“ zní „Číslo 5 není větší než 3.“ — a to znamená „je menší než 3 nebo rovno 3“. Ne jen „je menší než 3“.
Jak negovat výroky se slovy „všichni“, „některý“ nebo složené výroky, najdeš v článku Negace výroků.
Konjunkce — a
A ∧ B je pravdivá, jen když platí oba výroky. Stačí jeden nepravdivý a celá konjunkce padá.
| A | B | A ∧ B |
|---|---|---|
| 1 | 1 | 1 |
| 1 | 0 | 0 |
| 0 | 1 | 0 |
| 0 | 0 | 0 |
Příklady:
- „Číslo 30 je sudé a je dělitelné číslem 7.“ — první část platí, druhá ne → 0.
- „Číslo 30 je sudé a je dělitelné číslem 5.“ — obě části platí → 1.
- Pravidlo soutěže: „Přihlásit se můžeš, jestliže je ti 15 let a máš souhlas rodiče.“ Bez souhlasu ti nepomůže, ani když je ti 17.
💡 Ve hrách to znáš z kódu typu `if (klic && u_dveri)`. Dveře se otevřou, jen když máš klíč a zároveň stojíš u dveří.
Disjunkce — nebo
A ∨ B je pravdivá, když platí aspoň jeden výrok. Nepravdivá je jedině tehdy, když neplatí ani jeden.
| A | B | A ∨ B |
|---|---|---|
| 1 | 1 | 1 |
| 1 | 0 | 1 |
| 0 | 1 | 1 |
| 0 | 0 | 0 |
Příklady:
- „Číslo 6 je sudé nebo dělitelné třemi.“ — platí obě části → 1.
- „Číslo 9 je sudé nebo dělitelné třemi.“ — platí druhá část → 1.
- „Číslo 7 je sudé nebo dělitelné třemi.“ — neplatí ani jedna → 0.
Logické „nebo“ versus menu v restauraci
V restauraci ti číšník řekne: „K obědu máte polévku, nebo salát.“ Když budeš chtít obojí, asi ti nevyhoví. To je vylučovací „nebo“ — buď jedno, nebo druhé, ne obojí.
V matematice je to jinak. Matematické „nebo“ není vylučovací: připouští i obojí. Přesně jako vyhledávání: když hledáš články o fotbale nebo hokeji, chceš vidět i ty, které píšou o obou sportech.
💡 V programování se disjunkce píše `||`: podmínka `if (dest || snih)` platí, když prší, když sněží, i když padá obojí zároveň.
⚠️ Když chceš v logice říct „buď A, nebo B, ale ne obojí“, musíš to říct výslovně. Takový výrok je pravdivý, právě když mají A a B různou hodnotu — je to negace ekvivalence, (A ⇔ B)′.
Řešený příklad 1 — vyhodnoť složené výroky
A: „Číslo 15 je dělitelné třemi.“ B: „Číslo 15 je sudé.“ Urči pravdivost výroků A ∧ B, A ∨ B a A′ ∨ B.
- Nejdřív hodnoty jednoduchých výroků: 15 = 3 · 5, takže A = 1. Číslo 15 je liché, takže B = 0.
- A ∧ B = 1 ∧ 0. Konjunkce potřebuje dvě jedničky → 0.
- A ∨ B = 1 ∨ 0. Disjunkci stačí jedna jednička → 1.
- A′ ∨ B: nejdřív A′ = 0. Pak 0 ∨ 0 → 0.
💡 Vždy postupuj zevnitř ven: nejdřív negace a závorky, teprve potom hlavní spojka.
Implikace — jestliže, pak
V implikaci A ⇒ B je A předpoklad a B závěr. Implikace je nepravdivá jedině tehdy, když předpoklad platí a závěr neplatí.
| A | B | A ⇒ B |
|---|---|---|
| 1 | 1 | 1 |
| 1 | 0 | 0 |
| 0 | 1 | 1 |
| 0 | 0 | 1 |
Implikaci si představ jako slib. Slib je porušený jen tehdy, když jsi podmínku splnil, a odměna nepřišla.
Řešený příklad 2 — slib a koncert
Máma slíbí: „Jestliže si uklidíš pokoj, půjdeš na koncert.“ Označme U: „Uklidíš si pokoj.“ a K: „Půjdeš na koncert.“ Slib je U ⇒ K. Projděme všechny čtyři situace:
| U | K | Co se stalo | Slib dodržen? |
|---|---|---|---|
| 1 | 1 | uklidil sis a jdeš na koncert | ano → 1 |
| 1 | 0 | uklidil sis, ale na koncert nejdeš | ne → 0 |
| 0 | 1 | neuklidil sis, ale máma tě stejně pustila | ano → 1 |
| 0 | 0 | neuklidil sis a nejdeš | ano → 1 |
Třetí řádek překvapí nejvíc. Máma ale neslíbila, že bez uklízení nepůjdeš. Řekla jen, co se stane, když si uklidíš. Když si neuklidíš, slib o tom mlčí — a proto ho nemůže porušit.
Další příklady:
- „Jestliže je číslo dělitelné čtyřmi, pak je sudé.“ — pravdivá implikace. Neexistuje číslo dělitelné čtyřmi, které by bylo liché.
- „Jestliže 2 + 2 = 5, pak jsem prezident.“ — pravdivá implikace! Předpoklad je nepravdivý, takže celek je 1.
- Ve hře: „Když nasbíráš 100 mincí, odemkne se nová postava.“ Když máš 100 mincí a postava se neodemkne, hra má chybu. Když máš 40 mincí, hra ti nic neslíbila.
⚠️ Implikace neříká nic o příčině. Výrok „Jestliže je Praha hlavní město Česka, pak 7 je prvočíslo.“ je pravdivý (1 ⇒ 1), i když spolu obě části vůbec nesouvisí.
⚠️ A ⇒ B není totéž co B ⇒ A. „Jestliže je číslo dělitelné čtyřmi, pak je sudé.“ platí. Obráceně „Jestliže je číslo sudé, pak je dělitelné čtyřmi.“ neplatí — vezmi si číslo 6. Víc v článku Implikace a její obměna.
Ekvivalence — právě tehdy, když
A ⇔ B je pravdivá, když mají oba výroky stejnou hodnotu — oba platí, nebo oba neplatí.
| A | B | A ⇔ B |
|---|---|---|
| 1 | 1 | 1 |
| 1 | 0 | 0 |
| 0 | 1 | 0 |
| 0 | 0 | 1 |
Ekvivalence je „implikace oběma směry“: A ⇔ B znamená, že platí A ⇒ B i B ⇒ A.
Příklady:
- „Přirozené číslo končí číslicí 0 právě tehdy, když je dělitelné číslem 10.“ — pravdivá ekvivalence.
- „Trojúhelník je rovnostranný právě tehdy, když má všechny úhly 60°.“ — pravdivá.
- „Číslo je sudé právě tehdy, když je dělitelné čtyřmi.“ — nepravdivá. Číslo 6 je sudé, ale čtyřmi dělitelné není.
- Na koncert tě pustí právě tehdy, když máš platnou vstupenku. Kdo ji má, jde dovnitř. Kdo ji nemá, nejde.
Tabulka pravdivostních hodnot složeného výroku
U složitějšího výroku nepočítej všechno najednou. Přidej si pomocné sloupce — jeden pro každou část výroku — a postupuj zleva doprava.
Kolik řádků bude mít tabulka
Každý výrok může mít dvě hodnoty. Pro n jednoduchých výroků je tedy 2 · 2 · … · 2 = 2ⁿ řádků.
| Počet výroků | Počet řádků |
|---|---|
| 1 | 2 |
| 2 | 4 |
| 3 | 8 |
| 4 | 16 |
U tří výroků A, B, C vyplň první sloupce takto: ve sloupci A čtyři jedničky a čtyři nuly, ve sloupci B po dvou (1 1 0 0 1 1 0 0), ve sloupci C střídavě (1 0 1 0 1 0 1 0).
Řešený příklad 3 — tabulka výroku (A ⇒ B) ∧ (B ⇒ A)
- Výroky jsou dva → tabulka má 2² = 4 řádky.
- Pomocný sloupec A ⇒ B: nula je jen v řádku 1 0.
- Pomocný sloupec B ⇒ A: nula je jen tam, kde B = 1 a A = 0, tedy v řádku 0 1.
- Výsledek je konjunkce obou pomocných sloupců: jednička jen tam, kde jsou obě jedničky.
| A | B | A ⇒ B | B ⇒ A | (A ⇒ B) ∧ (B ⇒ A) |
|---|---|---|---|---|
| 1 | 1 | 1 | 1 | 1 |
| 1 | 0 | 0 | 1 | 0 |
| 0 | 1 | 1 | 0 | 0 |
| 0 | 0 | 1 | 1 | 1 |
Poslední sloupec je 1 0 0 1 — přesně jako u A ⇔ B. Tím jsme ověřili, že ekvivalence je opravdu „implikace oběma směry“.
Podobně vyjde, že A′ ∨ B má vždy stejnou hodnotu jako A ⇒ B:
| A | B | A′ | A′ ∨ B |
|---|---|---|---|
| 1 | 1 | 0 | 1 |
| 1 | 0 | 0 | 0 |
| 0 | 1 | 1 | 1 |
| 0 | 0 | 1 | 1 |
Řešený příklad 4 — pravidlo soutěže se třemi výroky
Pravidlo: „Jestliže je ti 15 let a máš souhlas rodiče, můžeš se přihlásit.“ Označme V: „Je ti 15 let.“, S: „Máš souhlas rodiče.“ a P: „Můžeš se přihlásit.“ Pravidlo je (V ∧ S) ⇒ P.
- Výroky jsou tři → 2³ = 8 řádků.
- Pomocný sloupec V ∧ S: jednička jen v prvních dvou řádcích, kde V = 1 i S = 1.
- Implikace (V ∧ S) ⇒ P je nepravdivá jen tam, kde V ∧ S = 1 a P = 0.
| V | S | P | V ∧ S | (V ∧ S) ⇒ P |
|---|---|---|---|---|
| 1 | 1 | 1 | 1 | 1 |
| 1 | 1 | 0 | 1 | 0 |
| 1 | 0 | 1 | 0 | 1 |
| 1 | 0 | 0 | 0 | 1 |
| 0 | 1 | 1 | 0 | 1 |
| 0 | 1 | 0 | 0 | 1 |
| 0 | 0 | 1 | 0 | 1 |
| 0 | 0 | 0 | 0 | 1 |
Pravidlo se poruší jediným způsobem: splňuješ obě podmínky, a stejně tě nepřihlásí (řádek 1 1 0). Všechny ostatní situace s pravidlem nejsou v rozporu.
Nejčastější chyby
- „Nebo“ jako v menu. Matematické „nebo“ je pravdivé i tehdy, když platí obě části.
- Implikace s nepravdivým předpokladem je prý nepravdivá. Ne — když předpoklad neplatí, implikace je vždy 1.
- Záměna A ⇒ B a B ⇒ A. „Když prší, je mokro.“ neznamená „Když je mokro, prší.“ (Mohlo jet kropicí auto.)
- Hledání souvislosti v implikaci. Pravdivost určují jen hodnoty 1 a 0, ne to, jestli k sobě části „sedí“.
- Špatný počet řádků. U tří výroků to není 6 řádků (2 · 3), ale 8 (2³).
- Zapomenuté závorky. (A ∧ B)′ není A′ ∧ B. Pro A = 1, B = 0 vyjde (A ∧ B)′ = 1, ale A′ ∧ B = 0.
- Negace jako „opak“. Negace výroku „x je větší než 3“ je „x není větší než 3“, ne „x je menší než 3“.
Zkus si sám
- A: „7 je prvočíslo.“ B: „7 je sudé číslo.“ Urči hodnotu výroků: a) A ∧ B′ b) A′ ∨ B c) B ⇒ A d) A ⇔ B.
- Kolik řádků má tabulka pravdivostních hodnot výroku, ve kterém jsou čtyři jednoduché výroky? A kolik u pěti?
- Kamarád slíbí: „Jestliže vyhrajeme zápas, pozvu vás na pizzu.“ a) Vyhráli jste a pizza nebyla. Porušil slib? b) Prohráli jste a pizza stejně byla. Porušil slib?
- Je pravdivý výrok „Jestliže 2 · 3 = 7, pak je Měsíc ze sýra.“? Proč?
- Sestav tabulku pravdivostních hodnot výroku A ∧ B′ s pomocným sloupcem B′.
- O výrocích A, B víš, že A ⇒ B je nepravdivá. Jaké hodnoty mají A a B? Jaká je potom hodnota A ∨ B?
Řešení
- A = 1, B = 0, B′ = 1, A′ = 0. a) 1 ∧ 1 = 1 b) 0 ∨ 0 = 0 c) 0 ⇒ 1 = 1 d) 1 ⇔ 0 = 0.
- 2⁴ = 16 řádků. U pěti výroků 2⁵ = 32 řádků.
- a) Ano, předpoklad platil (1) a závěr ne (0) → implikace je 0. b) Ne, předpoklad neplatil, takže slib porušen nebyl → 1.
- Ano, je pravdivý. Předpoklad 2 · 3 = 7 je nepravdivý a implikace s nepravdivým předpokladem je vždy pravdivá.
- Sloupec B′ je 0 1 0 1, výsledek A ∧ B′ je 0 1 0 0. Jednička je jen v řádku A = 1, B = 0.
| A | B | B′ | A ∧ B′ |
|---|---|---|---|
| 1 | 1 | 0 | 0 |
| 1 | 0 | 1 | 1 |
| 0 | 1 | 0 | 0 |
| 0 | 0 | 1 | 0 |
- Implikace je nepravdivá jedině pro A = 1, B = 0. Potom A ∨ B = 1 ∨ 0 = 1.
Ve zkratce
- Negace A′ otočí hodnotu: 1 → 0, 0 → 1.
- Konjunkce A ∧ B je pravdivá, jen když platí obě části.
- Disjunkce A ∨ B je nepravdivá, jen když neplatí ani jedna část. „Nebo“ připouští i obojí.
- Implikace A ⇒ B je nepravdivá jedině v případě 1 ⇒ 0 — splněná podmínka, nesplněný slib.
- Ekvivalence A ⇔ B je pravdivá, když mají obě části stejnou hodnotu.
- Tabulka pro n výroků má 2ⁿ řádků v pořadí od samých jedniček po samé nuly. Složitý výrok rozlož na pomocné sloupce.
Procvič si
👉 Další článek: Složený výrok slovy — od symbolů k větě