1.4.3 Složené výroky konjunkce a disjunkce



Podobné dokumenty
1.4.2 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

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

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

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

LOGIKA VÝROKOVÁ LOGIKA

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

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

M - Výroková logika VARIACE

Matematika pro informatiky KMA/MATA

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í,

Matematická indukce, sumy a produkty, matematická logika

1. Matematická logika

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

λογος - 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á.

Základní pojmy matematické logiky

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

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 α

1. Matematická logika

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

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

1.3.3 Množinové operace

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

Pravda jako funkce - ano, nebo ne?

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

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

Základy logiky a teorie množin

Matematická analýza 1

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

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

Logika, výroky, množiny

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

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

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

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

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.

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

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

Matematická logika. Miroslav Kolařík

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

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

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. Výroky a operace s nimi

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

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)

Kvantifikované výroky a jejich negace

Úvod do informatiky. Miroslav Kolařík

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

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

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

7 Jemný úvod do Logiky

Nerovnice a nerovnice v součinovém nebo v podílovém tvaru

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

4.2.5 Orientovaný úhel II. π π = π = π (není násobek 2π ) 115 π není velikost úhlu α. Předpoklady: Nejdříve opakování z minulé hodiny.

Funkce přímá úměrnost III

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

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

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...

Predikátová logika Individua a termy Predikáty

Logika Libor Barto. Výroková logika

1. MATEMATICKÁ LOGIKA A MNOŽINY

Klasická výroková logika - tabulková metoda

Funkce rostoucí, funkce klesající II

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

7.5.1 Středová a obecná rovnice kružnice

4.2.5 Orientovaný úhel II

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

1.3.2 Množinové operace

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

1 Základní pojmy. 1.1 Množiny

4.3.4 Základní goniometrické vzorce I

Matematika B101MA1, B101MA2

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

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

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

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.

= + = + = 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).

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

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

1.4.6 Stavba matematiky, důkazy

M - Příprava na 1. zápočtový test - třída 3SA

Grafické řešení soustav lineárních rovnic a nerovnic

Složené výroky Jsou tvořeny dvěma nebo více výroky jednoduššími. V : Číslo 8 je liché. V : 0,1 N. V : Paříž je hl. město Španělska.

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

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,

9.1.1 Základní kombinatorická pravidla I

2.3.9 Lineární nerovnice se dvěma neznámými

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

koncentraci jsme získali roztok o koncentraci 18 %. Urči koncentraci neznámého roztoku.

4.3.2 Goniometrické nerovnice

Která tvrzení jsou pravdivá nezávisle na tom, který den v týdnu byla vyslovena? Tvrzení trosečníka Dana.

1.4.7 Trojúhelník. Předpoklady:

přednáška 2 Marie Duží

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

Transkript:

1.4.3 Složené výroky konjunkce a disjunkce Předpoklady: 010402 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ý, spojka "a" vyjadřuje, že má platit 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: Tabulku nepromítám, ale kreslím na tabuli se čtyřmi sloupci (výslovně na ně neupozorňuji). Pak si kontrolujeme, kdo si čtvrtého sloupce všiml a napsal ho do svého sešitu. 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) Lužnice je přítok Vltavy a chlorofyl je modré barvivo. b) Alexandr Veliký dobyl Perskou říši a Ankara je hlavní město Turecka. a) Lužnice je přítok Vltavy a chlorofyl je modré barvivo. 1

Nejdříve musíme zjistit pravdivost výroků, ze kterých je složeno souvětí. Lužnice 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 b) Nejdříve musíme 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ě. a) Sestav z těchto výroků pravdivou a nepravdivou konjunkci. b) Sestav pravdivou konjunkci s výrokem a (Berounem protéká řeka Ohře.) 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 a) 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. b) pravdivá konjunkce s výrokem a Všechno v konjunkci musí být pravda, ale výrok a je nepravdivý musíme výrok a znegovat. Například: a d : Berounem neprotéká řeka Ohře a kompas byl vynalezen v Číně. Pedagogická poznámka: Bod b) předchozího příkladu 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ř. 3: 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ý. 2

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. Př. 4: 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ř. 5: Odhadni pravdivost výroku: Číslo 6 je prvočíslo nebo číslo 6 je menší než 10. První výrok je nepravdivý, druhý je pravdivý, spojku nebo používáme, když nám stačí pravdivost jedné z možností celý výrok je zřejmě pravdivý.. 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ř. 6: K tabulce pravdivostních hodnot pro konjunkci přidej sloupec s pravdivostními hodnotami disjunkce a b. a b a b a b 1 1 1 1 1 0 0 1 0 1 0 1 0 0 0 0 Př. 7: 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ý. 3

Př. 8: Jsou dány výroky (stejné jako v příkladu 2). 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ě. a) Sestav z těchto výroků pravdivou a nepravdivou disjunkci bez použití negace. b) Sestav nepravdivou disjunkci ze všech čtyř uvedených výroků. 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 a) 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. b) nepravdivá disjunkce ze všech čtyř uvedený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ě. Pedagogická poznámka: Sestavení nepravdivé disjunkce v bodě a) 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ř. 9: 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ř. 10: 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 4

1 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 1 1 Př. 11: 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