matematika pro informatikyhome.pf.jcu.cz/~rosapr00/mata/1_vyroky.pdf• napsat zkouškový test na...
TRANSCRIPT
Matematika pro informatiky
KMA/MATA
Informace k předmětu
• Mgr. Přemysl Rosa – [email protected], J349 – Konzultační hodiny v ZS: úterý 10-11, čtvrtek 15-16 nebo individuálně po
předchozí domluvě
• aktivní účast na seminářích - povolené 2 absence • napsat zkouškový test na 50% a zároveň prokázat znalost ze všech
probraných kapitol • ústní zkouška (pokud součet bodů ze všech zápočtových testů přesáhne
50%, jde student rovnou na ústní část zkoušky) • zápočtové testy se píší vždy na cvičení:
– 5. týden výuky (výroky a číselné soustavy, vektory) – 10. týden výuky (kapitoly analytická geometrie, matice, hodnost,
determinanty, čtvercové matice, soustavy lineárních rovnic) – 13. týden výuky (funkce - D(f), skládání, inverzní funkce a derivace, derivace
vyšších řádů)
• Literatura: – TLUSTÝ, P. Lineární algebra a její aplikace. České Budějovice: JU PF, 2003. – NÝDL,V. a R. LEXOVÁ Matematika České Budějovice: JU ZF.
Výroky a výroková logika
Logika
• Z řeckého slova logos- „slovo, smysluplná řeč“.
• Popisuje pravidla odvozování jedněch výroků z druhých.
• Vznikla jako součást filosofie.
• Zakladatelem byl Aristoteles (sylogistická logika).
Každý člověk je smrtelný.
Aristoteles je člověk.
Aristoteles je smrtelný.
Výroková logika
• Obohacení logiky o symbolickou logiku.
• Obsahuje syntaktická, odvozovací pravidla.
• Gottfried Leibniz, George Boole a Augustus De Morgan, Gottlob Frege
• Rozšířením je predikátová logika – kvantifikátory.
Výroková logika
Výrok:
• tvrzení, o němž má smysl prohlásit, že je pravdivé nebo nepravdivé (oznamovací věta, zápis pomocí matematických symbolů)
• Značení malými písmeny latinské abecedy (a, b, c, …)
Pravdivost či nepravdivost výroku – pravdivostní hodnota
p(a) = 0 nepravda
p(b) = 1 pravda
Výroky?
Venku svítí slunce.
Jak se jmenuješ?
V roce 2011 zasáhlo Japonsko zemětřesení.
Informatika patří mezi přírodní vědy.
Podej mi tužku, prosím.
Součet vnitřních úhlu čtyřúhelníku je 360°.
Do roku 2050 budou na Marsu žít lidé.
Výroky?
3 + 4 = 12
2 + 7 = 9
9 < 11
Praha má více obyvatel než Brno.
Rekonstrukce tunelu Blanka.
Zavřete prosím okna.
12 < x
Výroky s neznámou
v: 12 < x 𝐷 𝑣 ∈ ℝ 𝑃 𝑣 = 13; ∞ Tedy, máme výrok 12 < x. Definičním oborem tohoto výroku D(v) je množina všech reálných čísel, kdežto oborem pravdivosti je množina čísel od 13 do nekonečna P(v). Množina pravdivosti, je tedy podmnožinou definičního oboru. Množinu pravdivosti označujeme jako obor pravdivosti.
Logické operace a logické spojky
Logická operace Logická spojka Čteme
Negace ¬𝑎 Není pravda, že a.
Disjunkce 𝑎 ∨ 𝑏 a nebo b.
Ostrá disjunkce 𝑎 ∨ 𝑏 Buď a, nebo b.
Konjunkce 𝑎 ∧ 𝑏 a a b, a a zároveň b.
Implikace 𝑎 ⇒ 𝑏 Jestliže a, potom b.
Ekvivalence 𝑎 ⇔ 𝑏 a právě tehdy, jestliže b.
Výroková formule
a) Každý výrok je formulí výrokové logiky.
b) Jsou-li a a b formule výrokové logiky, potom jsou i výroky ¬𝑎, 𝑎 ∨ 𝑏, 𝑎 ∨ 𝑏, 𝑎⋀𝑏, 𝑎 ⇒𝑏, 𝑎 ⟺ 𝑏 jsou rovněž formule výrokové logiky.
c) Všechny formule výrokové logiky vznikají konečným počtem pravidel a) a b).
Negace výroku
Výrok, který má opačnou pravdivostní hodnotu než výrok daný. Nejjednodušší způsob vytvoření negace: Není pravda, že … (z hlediska českého jazyka však není tento způsob vždy vhodný) Hovoří-li daný výrok o určitých možnostech, musí jeho negace zahrnovat všechny zbývající možnosti. Značíme: výrok a negace ¬a
Negace výroku
Číslo 13 je prvočíslo.
Martin je vyšší než Pavel.
Tato tabule je bílá.
Přesně 21 studentů je dnes na přednášce.
Z těchto studentů pochází nejvýše 5 studentů z ČB.
Všichni žáci postoupili do vyššího ročníku.
Každý čtyřúhelník je čtverec.
a: Každý prvek množiny M má danou vlastnost. ¬a: Alespoň jeden prvek množiny M nemá danou vlastnost. b: Alespoň jeden prvek množiny M má danou vlastnost. ¬b: Žádný prvek množiny M nemá danou vlastnost. c: Množina M má alespoň k prvků. ¬c: Množina M má nejvýše k-1 prvků. d: Množina M má nejvýše k prvků. ¬d: Množina M má alespoň k+1 prvků. e: Množina M má právě k prvků. ¬e: Množina M má nejvýše k-1 prvků nebo alespoň k+1 prvků
Konjunkce
Konjunkce libovolných výroků a, b je výrok, který vznikne jejich spojením spojkou „a“.
Konjunkci čteme „a a zároveň b“.
Konjunkce libovolných výroků je pravdivá pouze tehdy, když jsou pravdivé oba výroky a, b.
Značíme: 𝒂 ∧ 𝒃
Disjunkce
Disjunkce libovolných výroků a, b je výrok, který vznikne jejich spojením spojkou „nebo“.
Disjunkci čteme „a nebo b“.
Disjunkce libovolných výroků je pravdivá pouze tehdy, je-li pravdivý alespoň jeden z výroků a,b.
Značíme: 𝒂 ∨ 𝒃
Ostrá disjunkce
Ostrá disjunkce libovolných výroků a, b je výrok, který vznikne jejich spojením slovy „buď a nebo b“.
Ostrá disjunkce libovolných výroků je pravdivá pouze tehdy, Když je pravdivý právě jeden z výroků a, b.
Značíme: 𝒂 ∨ 𝒃
Negace konjunkce
Platí: ¬ 𝒂 ∧ 𝒃 = ¬𝒂 ∨ ¬𝒃
Negace disjunkce
Platí: ¬ 𝒂 ∨ 𝒃 = ¬𝒂 ∧ ¬𝒃
Implikace
Implikace vznikne, když dva výroky a, b spojíme pomocí slovního spojení „jestliže a, pak b“.
Implikace je nepravdivá v jediném případě, když je první výrok pravdivý a druhý nepravdivý. V ostatních případech je implikace pravdivá (také v obou případech, když první výrok je nepravdivý).
Značíme: 𝒂 ⟹ 𝒃
Ekvivalence
Ekvivalence vznikne, když dva výroky a, b spojíme pomocí slovního spojení „a právě tehdy, když b“.
Ekvivalence je pravdivá pouze tehdy, mají-li oba výroky stejnou pravdivostní hodnotu (buď jsou oba pravdiví nebo oba nepravdivé).
Značíme: 𝒂 ⇔ 𝒃
Platí: 𝒂 ⇔ 𝒃 = (𝒂 ⇒ 𝒃) ∧ (𝒃 ⇒ 𝒂)
Negace implikace
Platí: ¬ 𝒂 ⇒ 𝒃 = 𝒂 ∧ ¬𝒃
Negace ekvivalence
Platí:
¬ 𝒂 ⇔ 𝒃 = 𝒂 ∧ ¬𝒃 ∨ ¬𝒂 ∧ 𝒃 = 𝒂 ∨ 𝒃
Obrácená implikace
Obrácenou implikací k implikaci 𝒂 ⟹ 𝒃 nazýváme implikaci 𝒃 ⟹ 𝒂.
Obměna implikace
Obměnou implikace 𝒂 ⟹ 𝒃 nazýváme implikaci ¬𝒃 ⟹ ¬𝒂.
Obměna implikace má vždy stejnou pravdivostní hodnotu jako implikace původní (logicky ekvivalentní). Důkaz nepřímý.
Význam logických spojek
𝒂 𝒃 ¬𝒂 𝒂 ∨ 𝒃 𝒂 ∨ 𝒃
𝒂 ∧ 𝒃
𝒂 ⇒ 𝒃
𝒂 ⇔ 𝒃
1 1 0 1 0 1 1 1
1 0 0 1 1 0 0 0
0 1 1 1 1 0 1 0
0 0 1 0 0 0 1 1
Tautologie
Tautologií je každá formule výrokové logiky, která je vždy pravdivá, bez ohledu na pravdivost či nepravdivost vstupujících výroků.
Např. 𝒂 ⇒ 𝒂
Kontradikce
Kontradikcí je každá formule výrokové logiky, která je vždy nepravdivá, bez ohledu na pravdivost či nepravdivost vstupujících výroků.
Např. ¬𝒂 ∧ 𝒂
Úsudky
Myšlenkový proces, kterým z pravdivosti daných výroků (předpokladů) vyvozujeme pravdivost jiného výroku (závěr). U1:𝑎 ⇒ 𝑏 pravda 𝑎 pravda b pravda Ověření správnosti úsudku provádíme pomocí tabulky pravdivostních hodnot. Úsudek je správný, pokud ve všech případech, kdy jsou splněny předpoklady je splněn i závěr.
předpoklady
závěr
Úsudky
Myšlenkový proces, kterým z pravdivosti daných výroků (předpokladů) vyvozujeme pravdivost jiného výroku (závěr). U1:𝑎 ⇒ 𝑏 pravda 𝑎 pravda b pravda Ověření správnosti úsudku provádíme pomocí tabulky pravdivostních hodnot. Úsudek je správný, pokud ve všech případech, kdy jsou splněny předpoklady je splněn i závěr.
předpoklady
závěr
a b 𝒂 ⇒ 𝒃
1 1 1
1 0 0
0 1 1
0 0 1
Úsudky
Myšlenkový proces, kterým z pravdivosti daných výroků (předpokladů) vyvozujeme pravdivost jiného výroku (závěr). U1:𝑎 ⇒ 𝑏 pravda 𝑎 pravda b pravda Ověření správnosti úsudku provádíme pomocí tabulky pravdivostních hodnot. Úsudek je správný, pokud ve všech případech, kdy jsou splněny předpoklady je splněn i závěr.
předpoklady
závěr
a b 𝒂 ⇒ 𝒃
1 1 1
1 0 0
0 1 1
0 0 1
Správný úsudek