1.4.2 Složené výroky konjunkce a disjunkce



Podobné dokumenty
1.4.3 Složené výroky konjunkce a disjunkce

1.4.3 Složené výroky implikace a ekvivalence

Nepřijde a nedám 100 Kč měl jsem pravdu, o této

- existuje..., negace: pro všechny neplatí,... - pro všechna..., negace: existuje, že neplatí,...

LOGIKA VÝROKOVÁ LOGIKA

1.4.6 Negace složených výroků I

Spojování výroků (podmínek) logickými spojkami

M - Výroková logika VARIACE

Matematika pro informatiky KMA/MATA

Výroková logika II. Negace. Již víme, že negace je změna pravdivostní hodnoty výroku (0 1; 1 0).

Matematická indukce, sumy a produkty, matematická logika

( ) ( ) Negace složených výroků II. Předpoklady:

1. Matematická logika

λογος - LOGOS slovo, smysluplná řeč )

Výrok je každá oznamovací věta (sdělení), u níž dává smysl, když uvažujeme, zda je buď pravdivá, nebo nepravdivá.

SLOŽENÉ VÝROKY. Konjunkce. Motivační příklad společné zadání pro další příklady:

1 Výrok a jeho negace

0. ÚVOD - matematické symboly, značení,

Každé formuli výrokového počtu přiřadíme hodnotu 0, půjde-li o formuli nepravdivou, a hodnotu 1, půjde-li. α neplatí. β je nutná podmínka pro α

Matematika I. Přednášky: Mgr. Radek Výrut, Zkouška:

VÝROKOVÁ LOGIKA. Výrok srozumitelná oznamovací věta (výraz, sdělení), která může být buď jen pravdivá nebo jen nepravdivá..

[a) (4 (7 + 5) = 4 12) (4 12 = 48); b) ( 1< 1) (1< 3); c) ( 35 < 18) ( 35 = 18)]

Základní pojmy matematické logiky

Místo pojmu výroková formule budeme používat zkráceně jen formule. Při jejich zápisu

1. Matematická logika

Výroková logika. p, q, r...

1 Výroková logika 1. 2 Predikátová logika 3. 3 Důkazy matematických vět 4. 4 Doporučená literatura 7

Jak jsem potkal logiku. Převod formule do (úplného) disjunktivního tvaru. Jan Hora

Základy logiky a teorie množin

VY_42_Inovace_17_MA_2.02_ Výroky prověření znalostí. Jednotlivé snímky lze použít jako studijní materiál.

M - Příprava na 2. zápočtový test - třídy 1DP, 1DVK

Matematická analýza 1

Logika, výroky, množiny

( ) ( ) Binomické rozdělení. Předpoklady: 9209

1.3.3 Množinové operace

( ) ( ) Binomické rozdělení. Předpoklady: 9209

1. Výroky a operace s nimi

Booleovská algebra. Booleovské binární a unární funkce. Základní zákony.

teorie logických spojek chápaných jako pravdivostní funkce

výrok-každésdělení,uněhožmásmyslseptát,zdaječinenípravdivé, aproněžprávějednaztěchtodvoumožnostínastává.

Normální formy. (provizorní text)

Formální systém výrokové logiky

Okruh č.3: Sémantický výklad predikátové logiky

1 Pravdivost formulí v interpretaci a daném ohodnocení

7 Jemný úvod do Logiky

Největší společný dělitel

Logika. 2. Výroková logika. RNDr. Luděk Cienciala, Ph. D.

Funkce přímá úměrnost III

SINGULÁRNÍ VÝROKY: Jednoduchý singulární výrok vznikne spojením singulárního termínu s termínem obecným pomocí spony=slova je.

Úvod do informatiky. Miroslav Kolařík

( ) ( ) Nezávislé jevy I. Předpoklady: 9204

Úvod do TI - logika 1. přednáška. Marie Duží

Číselné obory, množiny, výroky

2.7.3 Použití grafů základních mocninných funkcí

1. MATEMATICKÁ LOGIKA A MNOŽINY

Klasická výroková logika - tabulková metoda

Výroková logika se zabývá výroky.

Úvod do logiky (VL): 8. Negace výroků

1.3.2 Množinové operace

Matematická logika. Miroslav Kolařík

Unární je také spojka negace. pro je operace binární - příkladem může být funkce se signaturou. Binární je velká většina logických spojek

Matematická logika. Lekce 1: Motivace a seznámení s klasickou výrokovou logikou. Petr Cintula. Ústav informatiky Akademie věd České republiky

Výroková logika (5) 1. Základní pojmy Ke každé větě dopište do závorky, zda věta je pravda, či nepravda.

VÝUKOVÝ MATERIÁL. Bratislavská 2166, Varnsdorf, IČO: tel Číslo projektu

Cvičení 4. negace konjunkce disjunkce implikace ekvivalence. a) Najděte UDNF, UKNF a stanovte log. důsledky. 1) [p (p q)] [( p q) (q p)]

1 Základní pojmy. 1.1 Množiny

Inteligentní systémy (TIL) Marie Duží

1) Úpice má přibližně: a) obyvatel b) obyvatel c) obyvatel

Pravda jako funkce - ano, nebo ne?

Úvod do logiky (VL): 11. Ověřování, zda je formule tautologií metodou protipříkladu

Matematika B101MA1, B101MA2

Kapitola 1. Úvod. 1.1 Značení. 1.2 Výroky - opakování. N... přirozená čísla (1, 2, 3,...). Q... racionální čísla ( p, kde p Z a q N) R...

Kvantifikované výroky a jejich negace

Analytické myšlení TSP MU výroková logika II.

přednáška 2 Marie Duží

09. seminář logika (úvod, výroková).notebook. November 30, Logika

VY_42_Inovace_12_MA_2.01_ Výroky. Prezentace určena pro první ročník maturitních oborů, ve které je vysvětlení učiva výroky.

Pro každé formule α, β, γ, δ platí: Pro každé formule α, β, γ platí: Poznámka: Platí právě tehdy, když je tautologie.

Sémantika výrokové logiky. Alena Gollová Výroková logika 1/23

= + = + = 105,3 137, ,3 137,8 cos37 46' m 84,5m Spojovací chodba bude dlouhá 84,5 m. 2 (úhel, který spolu svírají síly obou holčiček).

Logika Libor Barto. Výroková logika

Úvod do logiky (presentace 2) Naivní teorie množin, relace a funkce

P = 1;3;3; 4; Množiny. Předpoklady:

Lehký úvod do výrokové logiky (nejen pro ty, kteří se připravují na TSP MU) část první

Negace výroku. Příklad 1. Rozhodněte, zda jsou věty výroky, u výroků určete pravdivostní hodnotu:

Matematika vzorce. Ing. Petr Šídlo. verze

9.1.1 Základní kombinatorická pravidla I

Bakalářská matematika I

Cílem kapitoly je opakování a rozšíření středoškolských znalostí v oblasti teorie množin.

Výroková logika. Teoretická informatika Tomáš Foltýnek

Predikátová logika Individua a termy Predikáty

Aplikovaná matematika I, NMAF071

1 Úvod do matematické logiky

Po prostudování této kapitoly byste měli porozumět základním definicím uvedených v této kapitole a měli je umět bezchybně interpretovat,

1.4.6 Stavba matematiky, důkazy

4. blok část A Logické operátory

Lineární rovnice pro učební obory

Úvod do TI - logika Výroková logika - pokračování (3.přednáška) Marie Duží

Variace. Lineární rovnice

Přednáška 2: Formalizace v jazyce logiky.

Transkript:

1.4.2 Složené výroky konjunkce a disjunkce Předpoklady: 1401 Složené výroky = souvětí, výroky složené z více jednoduchých výroků Výrok: Číslo 5 je sudé a je prvočíslo. Sestavený ze dvou výroků: 1. výrok: Číslo 5 je sudé - NEPRAVDIVÝ 2. výrok: Číslo 5 je prvočíslo PRAVDIVÝ Celý výrok je nepravdivý, chci aby platilo obojí takový výrok se nazývá konjunkce Konjunkce konjunkce libovolných výroků a, b je výrok, který vznikne jejich spojením spojkou a (nebo a zároveň někdy i), zapisujeme a b a čteme a a zároveň b. konjunkce je pravdivá pouze, když jsou pravdivé oba výroky a, b. Poznámka: Konjunkce souvisí s průnikem A B. Průnik obsahuje prvky, které jsou prvky množiny A a zároveň jsou prvky množiny B. Proto je značka průniku podobná značce pro konjunkci. Tabulka pravdivostních hodnot Obsahuje všechny kombinace jednoduchých výroků, ze kterých je složený výrok sestaven a jeho výsledné hodnoty pravdivosti. Pravda se značí 1, nepravda 0. a b a b 1 1 1 1 0 0 0 1 0 0 0 0 Pedagogická poznámka: Výroky ve většině následujících příkladů obsahují základní poznatky učiva základní školy z jiných předmětů. Bohužel to přináší diskuse o tom, které výroky jsou pravdivé a které ne. Je zřejmé, že by bylo rychlejší nahradit tyto odkazy trivialitami typu úterý je druhý den v týdnu, ale jsem přesvědčený, že pokud mám vychovávat studenty k tomu, aby si pamatovali základní poznatky z matematiky, měl bych po nich chtít, aby si pamatovali základní poznatky i z ostatních předmětů. Př. 1: Rozhodni zda jsou pravdivé výroky: a) Otava je přítok Vltavy a chlorofyl je modré barvivo. b) Alexandr Veliký dobyl Perskou říši a Ankara je hlavní město Turecka. a) Nejdříve musím zjistit pravdivost výroků, ze kterých je složeno souvětí. Otava je přítok Vltavy. - pravdivý výrok (1) Chlorofyl je modré barvivo. - nepravdivý výrok (0) Složený výrok je nepravdivý (Nejsou pravdivé oba výroky, ze kterých je složen.) 1 0 = 0 1

b) Nejdříve musím zjistit pravdivost výroků, ze kterých je složeno souvětí. Alexandr Veliký dobyl Perskou říši. - pravdivý výrok (1) Ankara je hlavní město Turecka. - pravdivý výrok (1) Složený výrok je pravdivý (Jsou pravdivé oba výroky, ze kterých je složen.) 1 1 = 1 Př. 2: Jsou dány výroky: a: Berounem protéká řeka Ohře. b: Nejvyšší horou Krkonoš je Sněžka. c: Václav III byl synem Václava II. d: Kompas byl vynalezen v Číně. Sestav z těchto výroků pravdivou a nepravdivou konjunkci. Určíme pravdivostní hodnotu výroků: a: Berounem protéká řeka Ohře. 0 b: Nejvyšší horou Krkonoš je Sněžka. 1 c: Václav III byl synem Václava II. 1 d: Kompas byl vynalezen v Číně. 1 Pravdivá konjunkce: Musí být sestavena pouze z pravdivých výroků jakákoliv konjunkce sestavená z výroků b, c, d. Například: b c : Nejvyšší horou Krkonoš je Sněžka a Václav III byl synem Václava II. Nepravdivá konjunkce: Musí obsahovat alespoň jeden nepravdivý výrok: Například: a b : Berounem protéká řeka Ohře a Nejvyšší horou Krkonoš je Sněžka. Př. 3: Sestav pravdivou konjunkci s výrokem a (Berounem protéká řeka Ohře.) Všechno v konjunkci musí být pravda, ale výrok a je nepravdivý musím výrok a znegovat. Například: a d : Berounem neprotéká řeka Ohře a kompas byl vynalezen v Číně. Pedagogická poznámka: Předchozí příklad je tak trochu snahou o navození situace, kdy si studenti musí rozmyslet, co všechno mají opravdu k dispozici, protože jednoduchá a běžná cesta k řešení neexistuje. Př. 4: Rozhodni o pravdivosti výroku: Napoleon byl generál a francouzský císař. Dva výroky: a: Napoleon byl generál. 1 b: Napoleon byl francouzský císař. 1 Máme výrok 1 1 = 1. Výrok je pravdivý. Poznámka: Předchozí výrok je ukázkou zkracování složených výroků do jediné věty. I přesto zůstává výrok pořád složeným. 2

Př. 5: Rozhodni zda je pravdivý výrok: Sofokles, Aischylos a Jaromír Jágr byli slavní řečtí starověcí dramatici. Jde výrok složený ze tří výroků: a: Sofokles byl slavný řecký starověký dramatik pravda (1) b: Aischylos byl slavný řecký starověký dramatik pravda (1) c: Jaromír Jágr byl slavný řecký starověký dramatik nepravda (0) a b c 1 1 0 = 1 0 = 0. Celý výrok má tvar ( ), dosadím pravdivosti výroků ( ) Výrok je nepravdivý. Př. 6: Odhadni pravdivost výroku: Číslo 6 je prvočíslo nebo číslo 6 je menší než 10. První výrok je nepravdivý, druhý je pravdivý. Celý výrok je pravdivý. u spojky nebo stačí pravdivost jediného výroku. Disjunkce Disjunkce libovolných výroků a, b je výrok, který vznikne jejich spojením spojkou nebo. Píšeme a b čteme a nebo b Disjunkce je pravdivá, když je alespoň jeden z výroků a, b pravdivý. (Umyješ nádobí nebo vytřeš stačí udělat jedno, ale je možné udělat obojí). Poznámka: Disjunkce souvisí se sjednocením A B. Sjednocení obsahuje prvky, které jsou prvky množiny A nebo jsou prvky množiny B. Proto je značka sjednocení podobná značce pro disjunkci. Př. 7: Sestav tabulku pravdivostních hodnotu disjunkce a b. a b a b 1 1 1 1 0 1 0 1 1 0 0 0 Př. 8: Rozhodni o pravdivosti výroku: Václav Havel byl prezidentem ČR nebo mluvčím Charty 77. Dva výroky: a: Václav Havel byl prezidentem ČR. 1 b: Václav Havel byl mluvčím Charty 77. 1 Máme výrok 1 1 = 1. Výrok je pravdivý. Př. 9: Jsou dány výroky: a: Berounem protéká řeka Ohře. b: Nejvyšší horou Krkonoš je Sněžka. c: Václav III byl synem Václava II. 3

d: Kompas byl vynalezen v Číně. Sestav z těchto výroků pravdivou a nepravdivou disjunkci bez použití negace. Určíme pravdivostní hodnotu výroků: a: Berounem protéká řeka Ohře. 0 b: Nejvyšší horou Krkonoš je Sněžka. 1 c: Václav III. byl synem Václava II.. 1 d: Kompas byl vynalezen v Číně. 1 Pravdivá disjunkce: Musí obsahovat alespoň jeden pravdivý výrok jakákoliv disjunkce sestavená z výroků a, b, c, d. Například: b c : Nejvyšší horou Krkonoš je Sněžka nebo Václav III byl synem Václava II. Nepravdivá disjunkce: Musí obsahovat pouze nepravdivé výroky musím použít pouze výrok a: a a : Berounem protéká řeka Ohře nebo Berounem protéká řeka Ohře. Pedagogická poznámka: Sestavení nepravdivé disjunkce považuje většina studentů za nemožné, ani je nenapadne, že by ve složeném výroku mohl vystupovat dvakrát jeden a ten samý výrok. Připomínám studentů v souvislosti s tímto příkladem, že jsme v žádném případě nezakázali při sestavování složeného výroku použít jeden výrok vícekrát, přesto naprostá většina z nich toto omezení nevědomě dodržovala. Z podobných omezení pramení nemalá část chyb v matematice. Př. 10: Sestav nepravdivou disjunkci ze všech čtyř předchozích výroků. Všechny výroky musí být nepravda, co je pravdivé musíme znegovat: a b c d Berounem protéká řeka Ohře nebo nejvyšší horou Krkonoš není Sněžka nebo Václav III. nebyl synem Václava II. nebo kompas nebyl vynalezen v Číně. Př. 11: Pomocí pravdivostní tabulky rozhodni pravdivosti výroku ( a b) a. a b a a b a b a ( ) 1 1 0 0 1 1 0 0 0 1 0 1 1 1 1 0 0 1 0 0 Př. 12: Pomocí pravdivostní tabulky rozhodni pravdivosti výroku ( a b) ( a b). a b a b a b a b ( a b) ( a b) 1 1 0 0 1 0 1 1 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 1 1 4

Př. 13: Petáková: strana 10/cvičení 3 strana 10/cvičení 4 strana 10/cvičení 7 a) Shrnutí: Spojky a a nebo se v matematice používají při sestavování složených výroků analogicky s běžným jazykem. 5