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

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

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

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

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

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

Gymnázium Jiřího Ortena, Kutná Hora

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

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

Bakalářská matematika I

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 α

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

1.4.3 Složené výroky implikace a ekvivalence

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

Základní poznatky, Rovnice a nerovnice, Planimetrie 1. část

Matematika B101MA1, B101MA2

Matematická indukce, sumy a produkty, matematická logika

Matematická analýza 1

( ) ( ) Lineární nerovnice II. Předpoklady: Jak je to s problémem z minulé hodiny? Získali jsme dvě řešení nerovnice x < 3 :

Matematika pro informatiky KMA/MATA

1. POJMY 1.1. FORMULE VÝROKOVÉHO POČTU

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

Matematika I. Katedra matematiky a deskriptivní geometrie mdg.vsb.cz

1. POJMY 1.1. FORMULE VÝROKOVÉHO POČTU

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

Lineární funkce, rovnice a nerovnice 4 lineární nerovnice

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

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

1. 1 P Ř I R O Z E N Á Č Í S L A

Úvod do logiky (VL): 5. Odvození výrokových spojek z jiných

1 Lineární prostory a podprostory

Dodatek č. 3 ke školnímu vzdělávacímu programu. Strojírenství. (platné znění k )

Výroková logika - opakování

Z těchto kurzů shrneme poznatky, které budeme potřebovat: výčtem prvků

LOGIKA VÝROKOVÁ LOGIKA

1. ÚVOD. Arnošt Žídek, Iveta Cholevová. 15. října 2013 FBI VŠB-TUO

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

Učební plán 4. letého studia předmětu matematiky. Učební plán 6. letého studia předmětu matematiky

Projekt OPVK - CZ.1.07/1.1.00/ Matematika pro všechny. Univerzita Palackého v Olomouci

Zadání a řešení testu z matematiky a zpráva o výsledcích přijímacího řízení do magisterského navazujícího studia od jara 2017

Teorie množin. Čekají nás základní množinové operace kartézské součiny, relace zobrazení, operace. Teoretické základy informatiky.

1. MATEMATICKÁ LOGIKA A MNOŽINY

6.1.2 Operace s komplexními čísly

1 Výrok a jeho negace

MATURITNÍ TÉMATA Z MATEMATIKY

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

Diskrétní matematika. DiM /01, zimní semestr 2017/2018

M - Výroková logika VARIACE

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

Autoevaluační karta. Škola: Obchodní akademie Pelhřimov, Jirsíkova 875. obchodní akademie. ekonomika, účetnictví, daně. Školní rok: Jméno:

Absolutní hodnota I. π = π. Předpoklady: = 0 S nezápornými čísly absolutní hodnota nic nedělá.

ZÁKLADNÍ POZNATKY Z MATEMATIKY

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

Maturitní témata z matematiky

Mgr. Ladislav Zemánek Maturitní okruhy Matematika Obor reálných čísel

Maturitní témata profilová část

Logické proměnné a logické funkce

B i n á r n í r e l a c e. Patrik Kavecký, Radomír Hamřík

1.2.3 Racionální čísla I

1.2.3 Racionální čísla I

( 2 ) ( 8) Nerovnice, úpravy nerovnic. Předpoklady: 2114, Nerovnice například 2x

V předchozí kapitole jsme podstatným způsobem rozšířili naši představu o tom, co je to číslo. Nadále jsou pro nás důležité především vlastnosti

1 Základní pojmy. 1.1 Množiny

Rovnice s neznámou pod odmocninou I

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

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

Matematická logika. Miroslav Kolařík

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

Množiny, základní číselné množiny, množinové operace

MATEMATIKA I. Marcela Rabasová

2.8.6 Čísla iracionální, čísla reálná

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

Logický čtverec. Tradiční logický čtverec

Bakalářská matematika I

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

příkladů do cvičení. V textu se objeví i pár detailů, které jsem nestihl (na které jsem zapomněl) a(b u) = (ab) u, u + ( u) = 0 = ( u) + u.

Definice. Vektorový prostor V nad tělesem T je množina s operacemi + : V V V, tj. u, v V : u + v V : T V V, tj. ( u V )( a T ) : a u V které splňují

Klasická výroková logika - tabulková metoda

0.1 Úvod do lineární algebry

4.3.1 Goniometrické rovnice I

4.3.2 Goniometrické rovnice II

ZÁKLADNÍ POZNATKY Z MATEMATIKY

Reálná čísla. Sjednocením množiny racionálních a iracionálních čísel vzniká množina

1.3. Číselné množiny. Cíle. Průvodce studiem. Výklad

10 Podgrafy, isomorfismus grafů

Matematika vzorce. Ing. Petr Šídlo. verze

Teoretická informatika Tomáš Foltýnek Algebra Struktury s jednou operací

RELACE, OPERACE. Relace

Požadavky k opravným zkouškám z matematiky školní rok

Použití substituce pro řešení nerovnic II

Základy algoritmizace a programování

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

1 Řešení soustav lineárních rovnic

ZÁKLADNÍ POZNATKY Z MATEMATIKY

Úvod do řešení lineárních rovnic a jejich soustav

Poznámka: Násobení je možné vyložit jako zkrácený zápis pro součet více sčítanců. Například:

Matematika PRŮŘEZOVÁ TÉMATA

Základy matematiky pro FEK

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

4.3.2 Goniometrické nerovnice

1.4.3 Složené výroky konjunkce a disjunkce

Transkript:

11.1. Číselné obory, množiny, výroky Předpoklady: Př. 1: Vypiš číselné obory používané ve středoškolské matematice. každého oboru uveď označení a příklad toho, co pomocí daných čísel popisujeme. Každý obor je podmnožinou následujícího. přirozená čísla (N): vyjadřují počet objektů, celá čísla (Z): můžeme vyjádřit i dluhy racionální čísla (Q): můžeme vyjádřit i části celku, reálná čísla (R): můžeme vyjádřit libovolnou vzdálenost, komplexní čísla (): v oboru reálných čísel má řešení každá algebraická rovnice. Př. : Sestav tabulku základních složených výroků a jejich negací. Výrok Spojka Zápis Negace konjunkce a a b a b disjunkce nebo a b a b implikace Jestliže, pak a b a b ekvivalence Právě když, a b a b nebo a b Pedagogická poznámka: Žáci u negací často spoléhají na tabulky, ve kterých však negace uvedeny nejsou. Př. 3: Vysvětli pojmy: a) uzavřenost množiny vzhledem k operaci b) inverzní prvek. veď příklady. a) uzavřenost množiny vzhledem k operaci Množina je vzhledem k operaci uzavřená, právě když jejím výsledkem pro všechna čísla z množiny je opět prvek této množiny. Například přirozená čísla jsou uzavřená vzhledem k operaci sčítání (součet dvou čísel přirozených je opět číslo přirozené), není uzavřená vzhledem k odčítání (rozdíl dvou přirozených čísel nemusí být číslo přirozené: například 6 = 4 ). b) inverzní prvek Inverzní prvek ke zvolenému prvku je prvek, který z timto prvkem dá neutrální prvek (pro sčítání 0, pro násobení 1). Například pro sčítání je inverzním prvkem ke číslo - + = ), pro násobení je inverzním prvkem k číslu číslo 1 ( 1 = 1). ( ( ) 0 1

Př. 4: Jsou dány podmnožiny přirozených čísel,. Platí = { ;4;7}. rči množinu, pokud platí: a) = { ;7} b) = { ;3;4;7;15 }. a) = { ;7} Pokud má příklad více řešení najdi množinu s nejmenším možným počtem prvků a popiš společnou vlastnost všech množin, které by byly správným řešením. Průnik množiny s množinou obsahuje prvky a 7, neobsahuje prvek 4 (který je prvkem množiny ) množinou může být libovolná množina, která obsahuje prvky a 7 = ;7. a neobsahuje prvek 4, množinou s nejmenším počtem prvků je množina { } a) = { ;3;4;7;15 } Sjednocení množiny s množinou obsahuje prvky { ;3;4;7;15 } množina musí obsahovat prvky 3 a 15 (nejsou v množině, ale jsou ve sjednocení ), může obsahovat prvky,4,7 (jsou v i ve sjednocení) a nesmí obsahovat jiné prvky (takový prvek by se pak nutně musel objevit ve sjednocení. Množinou s nejmenším počtem prvků je pak = 3;15 množina { } Př. 5: Vyslov negace následujících výroků: a) Za pololetí zameškal nejvýše tři písemky. b) Domácí úkol odevzdali právě dva studenti.. c) Teď je ve vlaku nebo ve škole.. d) Všichni se ho rádi zbavili. e) Nikdo to neuvidí. f) Všude je pusto a prázdno. g) Kdo se bojí, nesmí do lesa. a) Za pololetí zameškal nejvýše tři písemky. Za pololetí zameškal alespoň čtyři písemky. b) Domácí úkol odevzdali právě dva studenti.. Domácí úkol odevzdal jeden, žádný nebo alespoň tři studenti. c) Teď ve vlaku nebo ve škole.. Není ani ve vlaku ani ve škole. d) Všichni se ho rádi zbavili. lespoň jeden se ho zbavil nerad. e) Nikdo to neuvidí. lespoň někdo to uvidí. f) Všude je pusto a prázdno. lespoň někde není pusto nebo prázdno. g) Kdo se bojí, nesmí do lesa. ojí se a smí do lesa.

Př. 6: Pomocí Vennových diagramů rozhodni, zda se rovnají množiny. Výsledek se pokus zdůvodni i úvahou. ( ) ( ) a ( ) Vyznačíme obě množiny na Vennově diagramu a porovnáme oba výsledky. Průnik. Průnik Průnik Je vidět, že sjednocením obou barevných množinu opět získáme množinu. Úvaha: Všechny prvky náleží buď do množiny nebo do množiny, proto sjednocení průniků libovolné množiny (v našem případě množiny ) s množinami a obsahuje všechny prvky této množiny. Př. 7: Pro která reálná x je interval podmnožinou intervalu, je-li: = x; x + 3, = -1,4. Pokud má být interval podmnožinou intervalu musí platit: 3 x x + 3 x (aby levá hrana intervalu byla menší než pravá), 1 x 1 x (všechna čísla intervalu jsou větší nebo rovna nejmenšímu číslu intervalu ) x + 3 4 x 1(všechna čísla intervalu jsou menší nebo rovna největšímu číslu intervalu ) 1 interval je podmnožinou intervalu pro x ;1. 3

Př. 8: Hodina matematiky je v plném proudu. Tahák na biologii si píše 9 studentů, na mobilu si ťuká SMS 10 přítomných a 1 studentů se tiše baví se spolusedícím. elkem je ve třídě 30 studentů, ale pouze 6 jich dělá dvě z uvedených činností najednou. Studentů, kteří si pouze píšou tahák je třikrát více než těch kteří stihnou vedle psaní taháku ještě psát SMS. ni jeden ze studentů nezvládne všechny tři činnosti, 8 studentů píše tahák a nepovídá si při tom. Kolik studentů nedělá ani jednu z činností a dává pozor? Kolik studentů je zticha a píše SMS? Tahák Mobil Studenti a b c h d e f g Povídání Tahák na biologii si píše 9 studentů a + b + d + e = 9 na mobilu si ťuká SMS 10 přítomných b + c + e + f = 10 1 studentů se tiše baví se spolusedícím d + e + f + g = 1 elkem je ve třídě 30 studentů a + b + c + d + e + f + g + h = 30 6 jich dělá dvě z uvedených činností najednou b + d + f = 6 Studentů, kteří si pouze píšou tahák je třikrát více než těch kteří stihnou vedle psaní taháku a = 3 b + e ještě psát SMS ( ) ni jeden ze studentů nezvládne všechny tři činnosti e = 0 8 studentů píše tahák a nepovídá si při tom. a + b + e = 8 a + b + d + e = 9 b + c + e + f = 10 d + e + f + g = 1 a + b + c + d + e + f + g + h = 30 b + d + f = 6 a = 3b + 3e e = 0 a + b + e = 8 Dosadíme za e do ostatních rovnic: a + b + d = 9 b + c + f = 10 d + f + g = 1 a + b + c + d + f + g + h = 30 b + d + f = 6 a = 3b a + b = 8 4

Z předposlední rovnice dosadíme do poslední: 3b + b = 8 b = a = 6 Dosadíme za a, b do ostatních rovnic 6 + + d = 9 d = 1 + c + f = 10 d + f + g = 1 6 + + c + d + f + g + h = 30 + d + f = 6 Dosadíme za d do ostatních rovnic: c + f = 8 1+ f + g = 1 6 + + c + 1+ f + g + h = 30 1+ f = 4 f = 3 Dosadíme f do ostatních rovnic: c + 3 = 8 c = 5 1+ 3 + g = 1 g = 8 5 + 3 + 8 + h = 1 h = 5 Tahák Mobil Studenti h=5 a=6 c=5 b= d=1 e=0 f=3 g=8 Povídání Dává pozor (množina h) 5 studentů. Nebaví se a píše SMS (množina b + c ) 7 studentů. Př. 9: rči pravdivostní hodnoty formule ( a b) c a ( b c). Sestavíme a vyplníme tabulku pro zjišťování pravdivostních hodnot. a b a b c b c a b c a b c ( ) ( ) ( ) ( ) ( ) ( ) 1 1 1 0 0 0 0 1 1 0 1 1 1 1 1 1 0 1 1 1 1 0 0 0 0 0 1 1 1 1 0 0 1 1 0 0 0 1 1 0 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 0 0 1 0 1 0 1 5

Př. 10: Zneguj výroky. a) Jestli se nic nestane a s fabrikou to půjde takhle dál, příští rok budeme bez práce. b) Zahřmělo, právě když jsem se vracel domů a přecházel jsem ulici. c) Jestli se to zase nepovede, tak to vzdám a půjdu dělat něco užitečnějšího. a) Jestli se nic nestane a s fabrikou to půjde takhle dál, příští rok budeme bez práce. a b c. Tvarů výroku: ( ) Negace: ( a b) c. Nic se nestane, s fabrikou to půjde takhle dál a příští rok nebudeme bez práce. b) Zahřmělo, právě když jsem se vracel domů a přecházel jsem ulici. a b c. Tvarů výroku: ( ) Negace: a ( b c) nebo a ( b c). Nezahřmělo, právě když jsem se vracel domů a přecházel jsem ulici. Zahřmělo, právě když jsem se nevracel domů nebo jsem nepřecházel ulici. c) Jestli se to zase nepovede, tak to vzdám a půjdu dělat něco užitečnějšího. a b c. Tvarů výroku: ( ) Negace: a b c. Zase se to nepovede a nevzdám to nebo nepůjdu dělat něco užitečnějšího. Př. 11: Najdi mezi výrazy výroky, urči jejich pravdivostní hodnotu a zneguj je. a) n N : n > n b) x R, n N : x < n c) x R x + y > : a) n N : n > n Jde o výrok. Výrok není pravdivý (neplatí pro n = 1, protože 1 = 1). Negace: n N : n ɶ n. b) x R, n N : x < n Jde o výrok. Výrok je pravdivý (za x můžeme volit libovolné číslo z intervalu ( 1;1) mocnina je menší než 1. Negace: x R, n N : x n. c) x R : x + y > Nejde o výrok (není definováno y). jejichž druhá Př. 1: Pomocí Vennových diagramů zjednoduš [ ( ) ] { [ ( ) ]}. Pomocí Vennových diagramů zobrazíme množinu [ ( ) ] { [ ( ) ]} a poté zkusíme najít jednodušší vyjádření. ( ) ( ) 6

( ) ( ) [ ( ) ] { [ ( ) ]} ( ) Z obrázku vidíme, že danou množinu můžeme jednodušeji zapsat jako. Př. 13: Rozhodni, zda následující výroky patří mezi tautologie. a) a ( b c) ( a b) ( a c) b) [ a b c] b ( a b) Vyplníme tabulky pravdivostních hodnot. a) a ( b c) ( a b) ( a c) a b c a ( b c) a b a c ( ) ( ) [ ] [ ] 7

1 1 1 1 1 1 1 1 1 0 1 1 0 1 0 0 0 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 0 1 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 1 1 1 1 1 0 0 0 1 1 1 1 1 nejsou pouze 1 výrok Ve sloupci pro výrok [ ] [ ] a ( b c) ( a b) ( a c) není tautologií. b) [ a b c] b ( a b) a b c a b c a b b ( a b) ( ) ( ) 1 1 1 0 0 0 1 1 0 1 1 1 1 1 0 1 1 0 1 0 1 0 0 1 0 1 1 0 1 1 0 0 0 1 0 1 0 0 0 0 1 0 0 1 0 0 0 1 1 0 0 0 0 0 1 1 Nejde o tautologii. Shrnutí: 8