Prezentace se nahrává, počkejte prosím

Prezentace se nahrává, počkejte prosím

Matematická logika 8. Složené výroky - implikace (výklad) Mgr. Michal Švarc

Podobné prezentace


Prezentace na téma: "Matematická logika 8. Složené výroky - implikace (výklad) Mgr. Michal Švarc"— Transkript prezentace:

1 Matematická logika 8. Složené výroky - implikace (výklad) Mgr. Michal Švarc

2 8. Složené výroky - implikaceImplikace Velice důležitým složeným výrazem je implikace. V její formě bývají nejčastěji formulovány matematické věty a bývá též základním principem matematických důkazů.

3 8. Složené výroky - implikaceImplikace Implikace výroků A a B je výrok, který vznikne jejich spojením slovním obratem Jestliže…,pak…. Implikaci zapisujeme A  B a čteme „Jestliže A, pak B“ nebo „Z výroku A vyplývá výrok B“. Příklad: A: Číslo 32 je dělitelné čtyřmi. B: Číslo 34 je dělitelné čtyřmi. A  C: Jestliže je číslo 32 dělitelné čtyřmi, pak je dělitelné dvěma. B  D: Jestliže je číslo 34 dělitelné čtyřmi, pak je dělitelné dvěma. D  B: Jestliže je číslo 34 dělitelné dvěma, pak je dělitelné čtyřmi. B  E: Jestliže je číslo 34 dělitelné čtyřmi, pak jsem indická královna. C: Číslo 32 je dělitelné dvěma. D: Číslo 34 je dělitelné dvěma.

4 8. Složené výroky - implikace Vyzkoušejte se! Utvořte z výroků A,B implikaci. Jestliže je číslo x liché, pak rovnice nemá řešení. A: Číslo x je liché. B: Rovnice nemá řešení.

5 8. Složené výroky - implikace Vyzkoušejte se! Utvořte z výroků A,B implikaci. Jestliže je mnohoúhelník ABCD čtverec, pak má čtyři vrcholy. A: Mnohoúhelník ABCD je čtverec. B: Mnohoúhelník ABCD má čtyři vrcholy.

6 8. Složené výroky - implikace Pravdivost implikace Posuďte, jak závisí pravdivost implikace na pravdivosti původních výroků. Jestliže je číslo 32 dělitelné čtyřmi, pak je dělitelné i dvěma. Intuitivně cítíme, že pokud z pravdivého výroku vyplývá výrok pravdivý, je vše v pořádku a také výsledná implikace bude pravdivá. A  B 1  1 AB A  B 111

7 8. Složené výroky - implikace Pravdivost implikace Posuďte, jak závisí pravdivost implikace na pravdivosti původních výroků. Jestliže je číslo 34 dělitelné dvěma, pak je dělitelné i čtyřmi. Intuitivně cítíme, že pokud z pravdivého výroku má vyplynout výrok nepravdivý, implikace jako celek pravdivá nebude. A  B 1  0 AB A  B 100

8 8. Složené výroky - implikace Pravdivost implikace Posuďte, jak závisí pravdivost implikace na pravdivosti původních výroků. Jestliže je číslo 34 dělitelné čtyřmi, pak je dělitelné i dvěma. V tomto případě není splněna podmínka vyslovená v první části implikace. Ať už je či není druhá část pravdivá, výrok jako celek pravdivý je. A  B 0  1 AB A  B 011

9 8. Složené výroky - implikace Pravdivost implikace Posuďte, jak závisí pravdivost implikace na pravdivosti původních výroků. Jestliže je číslo 34 dělitelné čtyřmi, pak jsem indická královna. Přestože určitě není druhá část implikace splněna, bude celý výrok pravdivý. Indická královna bych totiž musel být jen v tom případě, kdyby byla splněna podmínka – číslo 34 by muselo být dělitelné čtyřmi. A  B 0  0 AB A  B 001

10 8. Složené výroky - implikace Tabulka pravdivostních hodnot Implikace libovolných výroků A, B je nepravdivá pouze tehdy, když z pravdivého výroku A vyplývá nepravdivý výrok B. AB A  B

11 8. Složené výroky - implikace Obrácená implikace Obrácená implikace k implikaci A  B je implikace B  A. Příklad A: Číslo a je sudé. B: Druhá mocnina čísla a je sudá. Utvořte implikaci A  B Jestliže je číslo a sudé, pak je i jeho druhá mocnina je sudé číslo. Utvořte obrácenou implikaci B  A Jestliže je a 2 sudé číslo, pak je i a sudé číslo.

12 8. Složené výroky - implikace Obrácená implikace a její pravdivost Pravdivost implikace A  B ještě nezaručuje pravdivost implikace obrácené. Jestliže je číslo a sudé, pak je i jeho druhá mocnina je sudé číslo. Jestliže je a 2 sudé číslo, pak je i a sudé číslo. A  B B  A První implikace je pravdivá. Druhá mocnina každého sudého čísla je také sudá. Druhá implikace však pravdivá není. Je-li a 2 třeba 10, číslo a se pak rovná  10 a to určitě sudé číslo není.

13 8. Složené výroky - implikaceDůsledek Z prohlášení „Jestliže bude pršet, tak nepůjdu do kina“ automaticky nevyplývá, že „Jestliže jsem nebyl v kině, tak muselo pršet“ ! Lépe je to vidět na jiném příkladu: Lidovou moudrost „Co Čech to muzikant“ bychom do jazyka implikace mohli přepsat jako Jestliže jsem Čech, pak jsem muzikant. Pak může, ale nemusí platit, obrácená věta Jestliže jsem muzikant, pak jsem Čech. Zrovna tak totiž mohu být Polák, Němec, Mexičan či kdokoli jiný a umět hrát na nějaký hudební nástroj. Konec


Stáhnout ppt "Matematická logika 8. Složené výroky - implikace (výklad) Mgr. Michal Švarc"

Podobné prezentace


Reklamy Google