Matematická logika cvi ení 47
|
|
- Adam Musil
- před 8 lety
- Počet zobrazení:
Transkript
1 Matematická logika cvi ení 47 Libor B hounek LS 2012/13, P F OU, Cvi ení 1. Posu te následující výroky z hlediska adekvátnosti dvojhodnotové sémantiky (a jejich pravdivostní hodnoty): 1. Knihovna je otev ená. 2. Úst ední knihovna MKO byla ve 14 hodin otev ená. 3. x > ! > je malé p irozené íslo. 6. Judea je hornatá. 7. Zítra vypukne námo ní bitva. 8. Ve vzdálenosti 45 miliard sv telných let existuje obydlená planeta. 9. Pro kaºdý systém neprázdných mnoºin existuje mnoºina mající jednoprvkový pr nik s kaºdou z nich. 10. Existuje nekone n mnoho prvo íselných dvoj at. 11. Existuje mnoºina reálných ísel, kterou nelze bijektivn zobrazit na mnoºinu v²ech p irozených ísel ani na mnoºinu v²ech reálných ísel. 12. Sou asný francouzský král je holohlavý. 13. S ítání innitesimáln malých veli in je komutativní. Cvi ení 2. Formalizujte následující výroky pomocí základních výrokových spojek. Pozorujte p ípadnou nejednozna nost formalizace a vyjasn te jejich pravdivostní podmínky: 1. Není pravda, ºe Jan není nezam stnaný. 2. Není horko ani zima. 3. Není ani ervený ani velký. Není ervený a velký. 4. Nenastává p ípad, ºe tekutina v e nebo mrzne. 5. Nem ºe být ervený a velký. Nem ºe být ervený a nem ºe být velký. 6. Je ervený nebo velký. Je bu ervený, nebo velký. 1
2 7. Sedím nebo pí²u. Sedím, nebo pí²u. 8. Jestliºe = 5, jsem papeº. Cvi ení 3. Posu te adekvátnost formalizace následujících výrok pomocí p íslu²ných výrokových spojek: 1. Není vysoký. Je nevysoký. Není nevysoký. 2. Vstal a upadl. Upadl a vstal. 3. Jana a Petra jely spolu na kole. Dámy a pánové se p ed tancem spárovali. Jablka a hru²ky byly promíchány. 4. Za stovku dostanu krabi ku Marlborek a za stovku dostanu krabi ku Camelek. Za stovku dostanu krabi ku Marlborek a krabi ku Camelek. 5. Nezabil jsem ji a nezabil jsem ji a nezabil jsem ji! 6. Jestliºe nezabil Kennedyho Oswald, zabil ho n kdo jiný. Kdyby nezabil Kennedyho Oswald, zabil by ho n kdo jiný. 7. Kdyby klokani nem li ocas, p epadávali by dop edu. 8. Pokud klesá po et pirát, dochází ke globálnímu oteplování. 9. New York je v USA, práv kdyº Titan je m sícem Saturnu. 10. Jestliºe 43 není d litelné 7, pak 43 je prvo íslo. Jestliºe 42 je d litelné 7, pak 43 je prvo islo. ƒislo 43 je prvo íslo, práv kdyº není d litelné 7. Cvi ení 4. Doloºte, ºe výroková spojka A nutn A není extenzionální: tj. najd te p íklady výrok : 1. nutn pravdivých, 2. pravdivých, ale nikoli nutn (tzv. kontingentn pravdivých), 3. nutn nepravdivých a 4. nepravdivých, ale nikoli nutn. (Jak z jejich existence plyne neextenzionalita?) Cvi ení 5. Nech atomický výrok p je pravdivý, q nepravdivý a r pravdivý. Vypo t te pravdivostní hodnotu výrok : 1. (p q) (r p) 2. p p 3. ((p q) q) p Cvi ení 6. Vypo ítejte pravdivostní tabulky formulí: 1. (p q) ( q r) 2. p p 3. (p q) (q p) Cvi ení 7. Porovnejte pravdivostní tabulky sloºených výrok (p q) r a p (q r), odpovídající dvojzna nému výroku p a q nebo r. Najd te matematický, p írodov decký nebo právní výrok, kde tato dvojzna nost hraje roli. Vymyslete jiné dvojzna nosti dané nevyzna ením závorek v p irozené e i a jejich (pokud moºno fatální) následky. 2
3 Cvi ení 8. Ov te, zda jsou výroky ve dvojici logicky ekvivalentní: 1. Jestliºe 5 je liché íslo, pak 5 2 je liché íslo. Jestliºe 5 2 není liché íslo, pak 5 není liché íslo. 2. Jestliºe 5 je liché íslo, pak 5 2 je liché íslo. ƒíslo 5 2 je liché, práv kdyº íslo 5 je liché. Cvi ení 9. Ov te v²echny logické ekvivalence z p edná²ky, tj.: 1. A A A A A A A A 2. A B B A 3. A B B A 4. (A B) C A (B C) 5. (A B) C A (B C) 6. A (B C) (A B) (A C) 7. A (B C) (A B) (A C) 8. (A B) A B 9. (A B) A B 10. A B A B (A B) 11. A B ( A B) (A B) 12. A B ( A B) A B 13. A B (A B) (B A) (A B) ( A B) 14. A? B : C (A B) ( A C) 15. A NAND B (A B) 16. A A A A (A A) A A 17. A A Cvi ení 10. Dokaºte, ºe následující mnoºiny spojek jsou funk n úplné: 1. {, } 2. {, } 3. {NAND} 4. {NOR} Cvi ení 11. Dokaºte, ºe následující mnoºiny spojek nejsou funk n úplné: 1. {, } 2. { } 3
4 Cvi ení 12. Najd te disjunktivní normální formu následujících formulí (úplnou, pokud existuje): 1. (p q) 2. (p q) (r s) (t u) Cvi ení 13. Najd te konjunktivní normální formu následující formule (úplnou, pokud existuje): 1. (p q) Cvi ení 14. Sestavte obvod z NAND-hradel (tj. sou ástek s dv ma vstupy x, y a jedním výstupem z = F NAND (x, y)), který dává vstupu s hodnotami p, q, r výstup daný pravdivostní funkcí formulí: 1. p q, p q, p, p q, p q 2. Ud lejte totéº z NOR-hradel. (Vyuºijte výsledky cvi ení et ete hradla uvaºte, ºe výstup lze kopírovat.) Cvi ení 15. Sestavte z NAND-hradel obvod, který se te dv dvouciferná dvojková ísla. Cvi ení 16. Ov te tautologi nost tautologií z p edná²ky, tj.: 1. ((p q) p) p 2. A A 3. (A A) 4. A (A B) 5. (A A) B 6. A (B A) 7. (A B) (B A) Cvi ení 17. Rozhodn te tautologi nost následujících formulí. Uvaºte, která z metod rozhodování tautologi nosti probíraných na p edná²ce (pravdivostní tabulka, p evod na logicky ekvivalentní známou tautologii, zkrácené prohledávání pravdivostní tabulky i analytická tabla) je v daném p ípad nejrychlej²í. 1. (p q) (q r) 2. (p q) q 3. (p p) p 4. (p p) p 5. ((p q) q) p 6. (((p q) r) & ((q p) r)) r 4
5 7. ((p q) r) (p (q r)) 8. ((p q r) (s t)) ( p ( r q)) (s t) (t s) Cvi ení 18. Uvaºujme restrikci klasické výrokové logiky, kdy máme k dispozici jedinou výrokovou prom nnou. 1. Rozmyslete, jak bude vypadat její Lindenbaumova algebra. 2. Rozmyslete totéº pro dv výrokové prom nné. Cvi ení 19. Nech ϕ je formule (p q) ( r q) a ψ formule (s p) (s r). 1. Ov te ϕ = ψ. 2. Ov te tvrzení anglické Wikipedie (heslo Craig interpolation k ), ºe interpolantem ϕ = ψ je p r. 3. Najd te interpolant ϕ = ψ algoritmem z d kazu v ty o interpolaci. 5
Zápo tová písemná práce. 1 z p edm tu 01MAB3 varianta A
Zápo tová písemná práce. 1 z p edm tu 01MAB3 varianta A st eda 19. listopadu 2015, 11:2013:20 ➊ (3 body) Pro diferenciální operátor ˆL je mnoºina W q denována p edpisem W q = { y(x) Dom( ˆL) : ˆL(y(x))
VíceReálná ísla a posloupnosti Jan Malý
Reálná ísla a posloupnosti Jan Malý Obsah 1. Reálná ísla 1 2. Posloupnosti 2 3. Hlub²í v ty o itách 4 1. Reálná ísla 1.1. Úmluva (T leso). Pod pojmem t leso budeme v tomto textu rozum t pouze komutativní
Více1. Spo t te limity (m ºete pouºívat l'hospitalovo pravidlo) x cotg x 1. c) lim. g) lim e x 1. cos(x) =
I. L'HOSPITALOVO PRAVIDLO A TAYLOR V POLYNOM. Spo t te limity (m ºete pouºívat l'hospitalovo pravidlo) a) lim tg sin ( + ) / e e) lim a a i) lim a a, a > P ipome me si: 3 tg 4 2 tg b) lim 3 sin 4 2 sin
VíceLimity funkcí v nevlastních bodech. Obsah
Limity funkcí v nevlastních bodech V tomto letáku si vysv tlíme, co znamená, kdyº funkce mí í do nekone na, mínus nekone na nebo se blíºí ke konkrétnímu reálnému íslu, zatímco x jde do nekone na nebo mínus
VíceAplikovaná matematika 1
Aplikovaná matematika 1 NMAF071 Tomá² Sala 1 MÚ UK, MFF UK ZS 2017-18 1 Tímto bych cht l pod kovat doc. RNDr. Mirkovi Rokytovi, CSc. a doc. Milanu Pokornému za poskytnutí podklad, které jsem pouze mírn
VíceStátní maturita 2010 Maturitní generálka 2010 Matematika: didaktický test - základní úrove obtíºnosti MAGZD10C0T01 e²ené p íklady
Státní maturita 00 Maturitní generálka 00 Matematika: didaktický test - základní úrove obtíºnosti MAGZD0C0T0 e²ené p íklady Autor e²ení: Jitka Vachtová 6. b ezna 0 http://www.vachtova.cz/ Obsah Úloha Úloha.
VíceP íklad 1 (Náhodná veli ina)
P íklad 1 (Náhodná veli ina) Uvaºujeme experiment: házení mincí. Výsledkem pokusu je rub nebo líc, ºe padne hrana neuvaºujeme. Pokud hovo íme o náhodné veli in, musíme p epsat výsledky pokusu do mnoºiny
VíceDerivování sloºené funkce
Derivování sloºené funkce V tomto letáku si p edstavíme speciální pravidlo pro derivování sloºené funkce (te funkci obsahující dal²í funkci). Po p e tení tohoto tetu byste m li být schopni: vysv tlit pojem
Vícenazvu obecnou PDR pro neznámou funkci
Denice. Bu n N a Ω R d otev ená, d 2. Vztah tvaru F (x, u(x), Du(x),..., D (n 1) u(x), D (n) u(x)) = 0 x Ω (1) nazvu obecnou PDR pro neznámou funkci u : Ω R d R Zde je daná funkce. F : Ω R R d R dn 1 R
VícePro každé formule α, β, γ, δ platí: Pro každé formule α, β, γ platí: Poznámka: Platí právě tehdy, když je tautologie.
Zpracoval: hypspave@fel.cvut.cz 5. Výroková logika, formule výrokové logiky a jejich pravdivostní ohodnocení, splnitelné formule, tautologie, kontradikce, sémantický důsledek, tautologicky ekvivalentní
VíceSeminá e. Ing. Michal Valenta PhD. Databázové systémy BI-DBS ZS 2010/11, sem. 1-13
Seminá e Ing. Michal Valenta PhD. Katedra softwarového inºenýrství Fakulta informa ních technologií ƒeské vysoké u ení technické v Praze c Michal Valenta, 2010 Databázové systémy BI-DBS ZS 2010/11, sem.
VíceVÝUKOVÝ MATERIÁL. Bratislavská 2166, 407 47 Varnsdorf, IČO: 18383874 www.vosassvdf.cz, tel. +420412372632 Číslo projektu
VÝUKOVÝ MATERIÁL Identifikační údaje školy Vyšší odborná škola a Střední škola, Varnsdorf, příspěvková organizace Bratislavská 2166, 407 47 Varnsdorf, IČO: 18383874 www.vosassvdf.cz, tel. +420412372632
VíceText m ºe být postupn upravován a dopl ován. Datum poslední úpravy najdete u odkazu na staºení souboru. Veronika Sobotíková
Tento text není samostatným studijním materiálem. Jde jen o prezentaci promítanou na p edná²kách, kde k ní p idávám slovní komentá. N které d leºité ásti látky pí²u pouze na tabuli a nejsou zde obsaºeny.
VíceVýroková logika - opakování
- opakování ormální zavedení Výroková formule: Máme neprázdnou nejvýše spočetnou množinu A výrokových proměnných. 1. Každá proměnná je výroková formule 2. Když α, β jsou formule, potom ( α), (α β), (α
VíceFormální systém výrokové logiky
Formální systém výrokové logiky 1.Jazyk výrokové logiky Nechť P = {p,q,r, } je neprázdná množina symbolů, které nazýváme prvotní formule. Symboly jazyka L P výrokové logiky jsou : a) prvky množiny P, b)
Vícee²ení systém lineárních rovnic pomocí s ítací, dosazovací a srovnávací metody
e²ení systém lineárních rovnic pomocí s ítací, dosazovací a srovnávací metody V praxi se asto setkávame s p ípady, kdy je pot eba e²it více rovnic, takzvaný systém rovnic, obvykle s více jak jednou neznámou.
VíceZápo tová písemná práce. 1 z p edm tu 01MAB3 varianta A
Zápo tová písemná práce. 1 z p edm tu 01MAB3 varianta A úterý 28. listopadu 2017, 9:2011:20 ➊ (8 bod ) Lze nebo nelze k rozhodnutí o stejnom rné konvergence ady ( 1) n+1 x ln(n) n 6 + n 2 x 4 na intervalu
VíceLogika. 2. Výroková logika. RNDr. Luděk Cienciala, Ph. D.
Logika 2. Výroková logika RNDr. Luděk Cienciala, Ph. D. Tato inovace předmětu Úvod do logiky je spolufinancována Evropským sociálním fondem a Státním rozpočtem ČR, projekt č. CZ. 1.07/2.2.00/28.0216, Logika:
Vícepřednáška 2 Marie Duží
Logika v praxi přednáška 2 Marie Duží marie.duzi@vsb.cz 1 1 Výroková logika Analyzuje způsoby skládání jednoduchých výroků do výroků složených pomocí logických spojek. Co je to výrok? Výrok je tvrzení,
VíceKuželosečky a kvadriky ve škole i kolem
Kuželosečky a kvadriky ve škole i kolem nás Bc. Aneta Mirová Kurz vznikl v rámci projektu Rozvoj systému vzdělávacích příležitostí pro nadané žáky a studenty v přírodních vědách a matematice s využitím
VíceBinární operace. Úvod. Pomocný text
Pomocný text Binární operace Úvod Milí e²itelé, binární operace je pom rn abstraktní téma, a tak bude ob as pot eba odprostit se od konkrétních p íklad a podívat se na v c s ur itým nadhledem. Nicmén e²ení
VíceDisjunktivní a konjunktivní lní tvar formule. 2.přednáška
Disjunktivní a konjunktivní normáln lní tvar formule 2.přednáška Disjunktivní normáln lní forma Definice Řekneme, že formule ( A ) je v disjunktivním normálním tvaru (formě), zkráceně v DNF, jestliže je
VícePo etní geometrie. Výpo et délky p epony: c 2 = a 2 + b 2 Výpo et délky odv sny: a 2 = c 2 b 2, b 2 = c 2 a 2
Po etní geometrie Pythagorova v ta Obsah tverce nad p eponou je roven sou tu obsah tverc nad ob ma odv snami. Výpo et délky p epony: c = a + b Výpo et délky odv sny: a = c b, b = c a P íklad 1: Vypo t
VíceP íklady k prvnímu testu - Pravd podobnost
P íklady k prvnímu testu - Pravd podobnost 28. února 204 Instrukce: Projd te si v²echny p íklady. Kaºdý p íklad se snaºte pochopit. Pak vymyslete a vy- e²te p íklad podobný. Tím se ujistíte, ºe p íkladu
VíceObsah. Pouºité zna ení 1
Obsah Pouºité zna ení 1 1 Úvod 3 1.1 Opera ní výzkum a jeho disciplíny.......................... 3 1.2 Úlohy matematického programování......................... 3 1.3 Standardní maximaliza ní úloha lineárního
VíceBooleovská algebra. Booleovské binární a unární funkce. Základní zákony.
Booleovská algebra. Booleovské binární a unární funkce. Základní zákony. Tomáš Bayer bayertom@natur.cuni.cz Katedra aplikované geoinformatiky a kartografie, Přírodovědecká fakulta UK. Tomáš Bayer bayertom@natur.cuni.cz
Více1 Výroková logika 1. 2 Predikátová logika 3. 3 Důkazy matematických vět 4. 4 Doporučená literatura 7
1 Výroková logika 1 Výroková logika 1 2 Predikátová logika 3 3 Důkazy matematických vět 4 4 Doporučená literatura 7 Definice 1.1 Výrokem rozumíme každé sdělení, o kterém má smysl uvažovat, zda je, či není
Víceteorie logických spojek chápaných jako pravdivostní funkce
Výroková logika teorie logických spojek chápaných jako pravdivostní funkce zabývá se způsoby tvoření výroků pomocí spojek a vztahy mezi pravdivostí různých výroků používá specifický jazyk složený z výrokových
VíceLogika II. RNDr. Kateřina Trlifajová PhD. Katedra teoretické informatiky Fakulta informačních technologíı BI-MLO, ZS 2011/12
Logika II. RNDr. Kateřina Trlifajová PhD. Katedra teoretické informatiky Fakulta informačních technologíı České vysoké učení technické v Praze c Kateřina Trlifajová, 2010 BI-MLO, ZS 2011/12 Evropský sociální
VíceZápo tová písemná práce. 1 z p edm tu 01MAB3 varianta A
Zápo tová písemná práce. 1 z p edm tu 01MAB3 varianta A úterý 6. prosince 2016, 13:2015:20 ➊ (8 bod ) Vy²et ete stejnom rnou konvergenci ady na mnoºin R +. n=2 x n 1 1 4n 2 + x 2 ln 2 (n) ➋ (5 bod ) Detailn
VíceVýroková a predikátová logika - II
Výroková a predikátová logika - II Petr Gregor KTIML MFF UK ZS 2015/2016 Petr Gregor (KTIML MFF UK) Výroková a predikátová logika - II ZS 2015/2016 1 / 18 Základní syntax Jazyk Výroková logika je logikou
VíceVýroková logika. Teoretická informatika Tomáš Foltýnek
Výroková logika Teoretická informatika Tomáš Foltýnek foltynek@pef.mendelu.cz Teoretická informatika strana 2 Opakování z minulé přednášky Co je to formalismus a co je jeho cílem? Formulujte Russelův paradox
VícePravd podobnost a statistika - cvi ení. Simona Domesová místnost: RA310 (budova CPIT) web:
Pravd podobnost a statistika - cvi ení Simona Domesová simona.domesova@vsb.cz místnost: RA310 (budova CPIT) web: http://homel.vsb.cz/~dom0015 Cíle p edm tu vyhodnocování dat pomocí statistických metod
VíceMatematická logika. Rostislav Horčík. horcik
Matematická logika Rostislav Horčík horcik@math.feld.cvut.cz horcik@cs.cas.cz www.cs.cas.cz/ horcik Rostislav Horčík (ČVUT FEL) Y01MLO Letní semestr 2007/2008 1 / 15 Sémantická věta o dedukci Věta Pro
VíceTeorie kategorií. Libor B hounek Verze ke dni 12. b ezna 2013.
Teorie kategorií Studijní materiál pro kurs ALGV00051 na FF UK v LS 2012/13 Dal²í informace: www.cs.cas.cz/behounek/teaching/cat12 Libor B hounek behounek@cs.cas.cz Verze ke dni 12. b ezna 2013. Organiza
VíceSémantika výrokové logiky
Sémantika výrokové logiky Matematická logika, LS 2012/13, přednáška 4 7 Libor Běhounek www.cs.cas.cz/behounek/teaching/malog12 PřF OU, 4. 25. 3. 2013 Osnova 1 Pravdivostní hodnoty v klasické výrokové logice
VíceSkalární sou in. Úvod. Denice skalárního sou inu
Skalární sou in Jedním ze zp sob, jak m ºeme dva vektory kombinovat, je skalární sou in. Výsledkem skalárního sou inu dvou vektor, jak jiº název napovídá, je skalár. V tomto letáku se nau íte, jak vypo
VíceJak jsem potkal logiku. Převod formule do (úplného) disjunktivního tvaru. Jan Hora
Česká zemědělská univerzita 17. října 2011 U makléře Já: Dobrý den, rád bych koupil nějaký světlý byt. Chtěl bych, aby měl dvě koupelny a aby byl v domě výtah. A neměl by být nijak extrémně drahý. Makléř:
VíceZáklady logiky a teorie množin
Pracovní text k přednášce Logika a teorie množin (I/2007) 1 1 Struktura přednášky Matematická logika 2 Výroková logika Základy logiky a teorie množin Petr Pajas pajas@matfyz.cz Predikátová logika 1. řádu
VíceZákladní pojmy matematické logiky
KAPITOLA 1 Základní pojmy matematické logiky Matematická logika se zabývá studiem výroků, jejich vytváření a jejich pravdivostí. Základním kamenem výrokové logiky jsou výroky. 1. Výroková logika Co je
VíceRovnice a nerovnice. Posloupnosti.
.. Veronika Sobotíková katedra matematiky, FEL ƒvut v Praze, http://math.feld.cvut.cz/ 30. srpna 2018.. 1/75 (v reálném oboru) Rovnicí resp. nerovnicí v reálném oboru rozumíme zápis L(x) P(x), kde zna
VíceCvičení z logiky II.
Cvičení z logiky II. RNDr. Kateřina Trlifajová PhD. Katedra teoretické informatiky Fakulta informačních technologíı České vysoké učení technické v Praze c Kateřina Trlifajová, 2010 BI-MLO, ZS 2011/12 https://edux.fit.cvut.cz/courses/bi-mlo/lectures/
VíceDalší (neklasické) logiky. Jiří Velebil: AD0B01LGR 2015 Predikátová logika 1/20
Predikátová logika Jiří Velebil: AD0B01LGR 2015 Predikátová logika 1/20 Jazyk predikátové logiky Má dvě sorty: 1 Termy: to jsou objekty, o jejichž vlastnostech chceme hovořit. Mohou být proměnné. 2 Formule:
VíceVýroková a predikátová logika - II
Výroková a predikátová logika - II Petr Gregor KTIML MFF UK ZS 2013/2014 Petr Gregor (KTIML MFF UK) Výroková a predikátová logika - II ZS 2013/2014 1 / 20 Základní syntax Jazyk Výroková logika je logikou
VíceSémantika výrokové logiky. Alena Gollová Výroková logika 1/23
Výroková logika Alena Gollová Výroková logika 1/23 Obsah 1 Formule výrokové logiky 2 Alena Gollová Výroková logika 2/23 Formule výrokové logiky Výrok je oznamovací věta, o jejíž pravdivosti lze rozhodnout.
VíceMatematická indukce, sumy a produkty, matematická logika
Matematická indukce, sumy a produkty, matematická logika 8.9. -.0.009 Matematická indukce Jde o následující vlastnost přirozených čísel: Předpokládejme:. Nějaké tvrzení platí pro.. Platí-li tvrzení pro
VíceVýroková a predikátová logika - II
Výroková a predikátová logika - II Petr Gregor KTIML MFF UK ZS 2017/2018 Petr Gregor (KTIML MFF UK) Výroková a predikátová logika - II ZS 2017/2018 1 / 17 Předběžnosti Základní pojmy n-ární relace a funkce
VíceSpojování výroků (podmínek) logickými spojkami
Spojování výroků (podmínek) logickými spojkami Spojování výroků logickými spojkami a) Konjunkce - spojení A B; Pravdivostní tabulka konjunkce A B A B 0 0 0 0 1 0 1 0 0 1 1 1 AND; A a současně B Konjunkce
VíceVektor náhodných veli in - práce s více prom nnými
Vektor náhodných veli in - práce s více prom nnými 12. kv tna 2015 N kdy k popisu n jaké situace pot ebujeme více neº jednu náhodnou veli inu. Nap. v k, hmotnost, vý²ku. Mezi t mito veli inami mohou být
VícePřednáška 2: Formalizace v jazyce logiky.
Přednáška 2: Formalizace v jazyce logiky. Marie Duží marie.duzi@vsb.cz Úvod do teoretické informatiky (logika) Dva základní logické systémy: Výroková logika a predikátová logika. řádu. Výroková logika
VíceUná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
Otázka 06 - Y01MLO Zadání Predikátová logika, formule predikátové logiky, sentence, interpretace jazyka predikátové logiky, splnitelné sentence, tautologie, kontradikce, tautologicky ekvivalentní formule.
Více0. ÚVOD - matematické symboly, značení,
0. ÚVOD - matematické symboly, značení, číselné množiny Výroky Výrok je každé sdělení, u kterého lze jednoznačně rozhodnout, zda je či není pravdivé. Každému výroku lze proto přiřadit jedinou pravdivostní
VíceRelace. Základní pojmy.
Relace. Základní pojmy. I kdyº pojem funkce je v matematice jeden ze základních a nejd leºit j²ích, p esto se n které vztahy mezi objekty pomocí funkce popsat nedají. Jde o situace, kdybychom cht li p
Více1. (18 bod ) Náhodná veli ina X je po et rub p i 400 nezávislých hodech mincí. a) Pomocí ƒeby²evovy nerovnosti odhadn te pravd podobnost
(8 bod ) Náhodná veli ina X je po et rub p i nezávislých hodech mincí a) Pomocí ƒeby²evovy nerovnosti odhadn te pravd podobnost P ( X EX < ) (9 bod ) b) Formulujte centrální limitní v tu a pomocí ní vypo
VíceÚvod do TI - logika Výroková logika (2.přednáška) Marie Duží
Úvod do TI - logika Výroková logika (2.přednáška) Marie Duží marie.duzi@vsb.cz Výroková logika Analyzuje způsoby skládání jednoduchých výroků do výroků složených pomocí logických spojek. Co je to výrok?
Více5. Aplikace diferenciálního a integrálního po tu v jedné dimenzi ZS 2017/18 1 / 32
5. Aplikace diferenciálního a integrálního po tu v jedné dimenzi Tomá² Sala MÚ UK, MFF UK ZS 2017/18 5. Aplikace diferenciálního a integrálního po tu v jedné dimenzi ZS 2017/18 1 / 32 5.1 Funkce spojité
VíceMísto pojmu výroková formule budeme používat zkráceně jen formule. Při jejich zápisu
VÝROKOVÁ LOGIKA Matematická logika se zabývá studiem výroků, jejich vytváření a jejich pravdivostí. Základním kamenem výrokové logiky jsou výroky. Co je výrok nedefinujejme, pouze si řekneme, co si pod
VícePřijímací zkouška - matematika
Přijímací zkouška - matematika Jméno a příjmení pište do okénka Číslo přihlášky Číslo zadání 1 Grafy 1 Pro který z následujících problémů není znám žádný algoritmus s polynomiální časovou složitostí? Problém,
VíceST1 - Úkol 1. [Minimáln 74 K /láhev]
ST1 - Úkol 1 P íklad 1 Myslivecký spolek po ádá sv j tradi ní ples. Mimo jiné bylo nakoupeno lahvové víno podle rozpisu v Tabulce 1.1. P edpokládá se (podle historických zku²eností), ºe v²echny láhve budou
VíceJevy, nezávislost, Bayesova v ta
Jevy, nezávislost, Bayesova v ta 17. b ezna 2015 Instrukce: Projd te si v²echny p íklady. Kaºdý p íklad se snaºte pochopit. Pak vymyslete a vy- e²te p íklad podobný. Tím se ujistíte, ºe p íkladu rozumíte.
VíceVýroková logika syntaxe a sémantika
syntaxe a sémantika Jiří Velebil: AD0B01LGR 2015 Handout 01: & sémantika VL 1/16 1 Proč formální jazyk? 1 Přirozené jazyky jsou složité a často nejednoznačné. 2 Komunikace s formálními nástroji musí být
Více2. Ur íme sudost/lichost funkce a pr se íky s osami. 6. Na záv r na rtneme graf vy²et ované funkce. 8x. x 2 +4
Pr b h funkce V této jednotce si ukáºeme jak postupovat p i vy²et ování pr b hu funkce. P edpokládáme znalost po ítání derivací a limit, které jsou dob e popsány v p edchozích letácích tohoto bloku. P
VíceZkou²ková písemná práce. 1 z p edm tu 01MAB4
Zkou²ková písemná práce. 1 z p edm tu 01MAB4 25/05/2017, 9:00 11:00 ➊ (9 bod ) Nech je dvojrozm rná Lebesgueova míra generována vytvo ujícími funkcemi φ(x) = Θ(x)x 2 a ψ(y) = 7y. Vypo t te míru mnoºiny
VíceKapitola Výroky
1 Kapitola 1 Výroková logika 1.1 Výroky 1.1.1 Příklad Rozhodněte, zda následující posloupnosti symbolú jsou výrokové formule. Jde-li o formuli, pak sestrojte její strom, určete její hloubku a uved te všechny
VíceMATLB: p edná²ka 1. Prom nné, indexování a operátory. TECHNICKÁ UNIVERZITA V LIBERCI Fakulta mechatroniky, informatiky a mezioborových studií
TECHNICKÁ UNIVERZITA V LIBERCI Fakulta mechatroniky, informatiky a mezioborových studií MATLB: p edná²ka 1 Prom nné, indexování a operátory Zbyn k Koldovský Projekt ESF CZ.1.07/2.2.00/28.0050 Modernizace
Více2.2 Sémantika predikátové logiky
14 [101105-1155] 2.2 Sémantika predikátové logiky Nyní se budeme zabývat sémantikou formulí, tj. jejich významem a pravdivostí. 2.2.1 Interpretace jazyka predikátové logiky. Interpretace predikátové logiky
VíceNormální formy. (provizorní text)
Normální formy (provizorní text) Výrokový počet Definice. Jazyk výrokového počtu obsahuje výrokové proměnné p, q, r, s,..., spojky,,,.. a závorky (,). Výrokové proměnné jsou formule. Jestliže a jsou formule,
VíceCvi ení 7. Docházka a testík - 15 min. Distfun 10 min. Úloha 1
Cvi ení 7 Úkol: generování dat dle rozd lení, vykreslení rozd lení psti, odhad rozd lení dle dat, bodový odhad parametr, centrální limitní v ta, balí ek Distfun, normalizace Docházka a testík - 15 min.
VíceLOGIKA VÝROKOVÁ LOGIKA
LOGIKA Popisuje pravidla odvozování jedněch tvrzení z druhých. Je to myšlenková cesta ke správným závěrům. Vznikla jako součást filosofie. Zakladatelem byl Aristoteles. VÝROKOVÁ LOGIKA Obsahuje syntaktická,
VíceNormalizace rela ního schématu
Normalizace rela ního schématu Ing. Michal Valenta PhD. Katedra softwarového inºenýrství Fakulta informa ních technologií ƒeské vysoké u ení technické v Praze c Michal Valenta, 2010 Databázové systémy
VíceST2 - Cvi ení 1 STATISTICKÁ INDUKCE
ST2 - Cvi ení 1 STATISTICKÁ INDUKCE P íklad 1.1 Po et závad jistého typu elektrospot ebi e b hem záru ní doby má Poissonovo rozd lení s parametrem λ = 0,2. Jaká je pravd podobnost, ºe po prodeji 75 spot
VíceVýstupy Učivo Téma. Čas. Základní škola a mateřská škola Hať. Školní vzdělávací program. Průřezová témata, kontexty a přesahy,další poznámky
provádí pamětné a písemné početní Čísla přirozená Opakování září, říjen operace v oboru přirozených čísel porovnává a uspořádává čísla celá a Čísla celá, racionální racionální, provádí početní operace
VíceCZ.1.07/1.1.14/01.0032 Inovace výuky v Písku a okolí 2012-2014. Pracovní list. Automatizační cvičení. Elektropneumatická ruka _LD
Pracovní list Automatizační cvičení Elektropneumatická ruka _LD Vypracoval žák Jméno, příjmení Datum vypracování Datum odevzdání SPŠ a VOŠ Písek, Karla Čapka 402, 397 11 Písek 1 Úkol projektu 1. Vytvořte
VíceText m ºe být postupn upravován a dopl ován. Datum poslední úpravy najdete u odkazu na staºení souboru. Veronika Sobotíková
Tento text není smosttným studijním mteriálem. Jde jen o prezentci promítnou n p edná²kách, kde k ní p idávám slovní komentá. N které d leºité ásti látky pí²u pouze n tbuli nejsou zde obsºeny. Text m ºe
VíceKaž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. JAZYK ATEATIKY 1.1 nožiny nožina je souhrn objektů určitých vlastností, které chápeme jako celek. ZNAČENÍ. x A x A θ A = { { a, b a A = B A B 0, 1 2 a, a,..., a n x patří do množiny A x nepatří do množiny
Vícee²ení 4. série Binární operace
e²ení 4. série Binární operace Úloha 4.1. V Hloup tínské jaderné elektrárn do²lo jednoho dne k úniku radioaktivního zá ení. Obyvatelé byli pro tento p ípad kvalitn vy²koleni v obran proti záke ným ásticím,
VíceTROJFÁZOVÝ OBVOD SE SPOT EBI EM ZAPOJENÝM DO HV ZDY A DO TROJÚHELNÍKU
TROJFÁZOVÝ OBVOD E POT EBI EM ZAPOJENÝM DO HV ZDY A DO TROJÚHELNÍKU Návod do m ení Ing. Vít zslav týskala, Ing. Václav Kolá Únor 2000 poslední úprava leden 2014 1 M ení v trojázových obvodech Cíl m ení:
VíceVýroková logika: splnitelnost, vyplývání, tautologie, úsudky. Splnitelnost. 1. Ověřte splnitelnost množiny formulí
Splnitelnost 1. Ověřte splnitelnost množiny formulí 1 T = {(p q) r, q r, r s, p s} Splnitelnost 1. Ověřte splnitelnost množiny formulí 1 T = {(p q) r, q r, r s, p s} 2 F = {(p q r) ((s t) ( s t)), q r,
VíceMatematika I. Přednášky: Mgr. Radek Výrut, Zkouška:
Přednášky: Mgr. Radek Výrut, Matematika I katedra matematiky, UL-605, rvyrut@kma.zcu.cz tel.: 377 63 2658 Zkouška: Písemná část zkoušky - příklady v rozsahu zápočtových prací Ústní část zkoušky - základní
VíceÚlohy domácího kola kategorie C
50. ročník Matematické olympiády Úlohy domácího kola kategorie 1. Najděte všechna trojmístná čísla n taková, že poslední trojčíslí čísla n 2 je shodné s číslem n. Student může při řešení úlohy postupovat
VíceÚvod do logiky (VL): 4. Zjištění průběhu pravdivostních hodnot formule tabulkovou metodou
Logika: systémový rámec rozvoje oboru v ČR a koncepce logických propedeutik pro mezioborová studia (reg. č. CZ.1.07/2.2.00/28.0216, OPVK) Úvod do logiky (VL): 4. Zjištění průběhu pravdivostních hodnot
VíceZÁKLADNÍ MATEMATICKÉ POJMY
Kapitola 1 ZÁKLADNÍ MATEMATICKÉ POJMY 1.1 ƒíselné OBORY 1.1.1 Ozna ení íselných mnoºin Mnoºina v²ech p irozených ísel : N = {1, 2, 3,..., n, n + 1,...} Základní vlastnost: Kdyº k N, potom k + 1 N; Stru
VíceSeminář III. Základy logiky a matematiky. Martin Štrobl // Vojtěch Fučík ISS FSV UK
Seminář III. Základy logiky a matematiky Martin Štrobl // Vojtěch Fučík ISS FSV UK 24.10.2016 Základy logiky a matematiky (ISS FSV UK) Seminář III. 24.10.2016 1 / 12 Téma výroková logika Základy logiky
VícePredikátová logika dokončení
Predikátová logika dokončení Jiří Velebil: X01DML 1. října 2010: Predikátová logika dokončení 1/18 Syntaktická analýza Jako ve výrokové logice (syntaktické stromy). Každý list úspěšného stromu je obsazen
VíceTeorie her. Klasikace. Pomocný text
Pomocný text Teorie her Milí e²itelé, první ty i úlohy kaºdé série spojuje jisté téma a vám bude poskytnut text, který vás tímto tématem mírn provede a pom ºe vám p i e²ení t chto úloh. Teorie her, jiº
VíceKlasická výroková logika - tabulková metoda
1 Klasická výroková logika - tabulková metoda Na úrovni výrokové logiky budeme interpretací rozumět každé přiřazení pravdivostních hodnot výrokovým parametrům. (V případě přiřazení pravdivostních hodnot
VíceMatematika pro informatiky KMA/MATA
Matematika pro informatiky KMA/MATA Informace k předmětu Mgr. Přemysl Rosa rosapr00@pf.jcu.cz, J349 Konzultační hodiny v ZS: úterý 10-11, čtvrtek 15-16 nebo individuálně po předchozí domluvě aktivní účast
VíceJEB007 Mikroekonomie I
JEB007 Mikroekonomie I Seminá 2 Petr Polák Institute of Economic Studies Faculty of Social Sciences Charles University 26. února 2014 Petr Polák (IES) JEB007 Mikroekonomie I 26. února 2014 1 / 12 Rekapitulace
VíceLineární algebra pro fyziky. Zápisky z p edná²ek. Dalibor míd
Lineární algebra pro fyziky Zápisky z p edná²ek Dalibor míd ƒást 1 První semestr KAPITOLA 1 Soustavy lineárních rovnic Nejjednodu²²í lineární rovnicí je Popisuje p ímku v rovin Podobn 1 Úvod 2x y = 3
VíceStátní maturita 2010 Maturitní generálka 2010 Matematika: didaktický test - vy²²í úrove obtíºnosti MAGVD10C0T01 e²ené p íklady
Státní maturita 00 Maturitní generálka 00 Matematika: didaktický test - vy²²í úrove obtíºnosti MAGVD0C0T0 e²ené p íklady Autor e²ení: Jitka Vachtová 6. b ezna 0 http://www.vachtova.cz/ Obsah Úloha Úloha
VíceVYBRANÉ APLIKACE RIEMANNOVA INTEGRÁLU I. OBSAH A DÉLKA. (f(x) g(x)) dx.
VYBRANÉ APLIKACE RIEMANNOVA INTEGRÁLU I. OBSAH A DÉLKA. Výpo et obsahu rovinných ploch a) Plocha ohrani ená k ivkami zadanými v kartézských sou adnicích. Obsah S rovinné plochy ohrani ené dv ma spojitými
Více3.cvičení. k p = {X, Y } u(x, r 1 = XA ), v(y, r 1 = XA ) u v = {A, R} q = AR. 1. Bodem A kolmici: Zvolím bod X p k(a, r 1 = XA ),
3.cvičení 1. Bodem A kolmici: Zvolím bod X p k(a, r 1 = XA ), k p = {X, Y } u(x, r 1 = XA ), v(y, r 1 = XA ) u v = {A, R} q = AR Bodem A rovnoběžku: Ještě jednu kolmici. Tři úhly, které je možno rozdělit
VíceStátnice - Rekurzivní a rekurzivn spo etné mnoºiny
Kapitola 1 Státnice - Rekurzivní a rekurzivn spo etné mnoºiny 1.1 Rekurzivn spo etné mnoºiny Denice (Rekurzivní a rekurzivn spo etná mnoºina) Charakteristická funkce mnoºiny M ozna uje charakteristickou
VíceIntegrování jako opak derivování
Integrování jako opak derivování V tomto dokumentu budete seznámeni s derivováním b ºných funkcí a budete mít moºnost vyzkou²et mnoho zp sob derivace. Jedním z nich je proces derivování v opa ném po adí.
VíceÚvod. Matematická ekonomie 1. Jan Zouhar. 20. zá í 2011
Úvod Matematická ekonomie 1 Jan Zouhar 20. zá í 2011 Obsah 1 Organizace kurzu 2 Nápl kurzu 3 Motiva ní p íklad na úvod 4 Úvod do matematického programování 5 Úvod do lineárního programování 6 Základní
VíceZákladní pojmy teorie mnoºin.
Základní pojmy teorie mnoºin. Mnoºina je základní stavební kámen moderní matematiky, i kdyº se v matematice tento pojem uºívá velmi dlouho. Uº anti tí e tí geomet i denovali kruºnici jako mnoºinu bod mající
Víceλογος - LOGOS slovo, smysluplná řeč )
MATA P1: Výroky, množiny a operace s nimi Matematická logika (z řeckého slova λογος - LOGOS slovo, smysluplná řeč ) Výrok primitivní pojem matematické logiky. Tvrzení, pro které má smysl otázka o jeho
VíceMatice a e²ení soustav lineárních rovnic
Úvod Tato sbírka úloh z lineární algebry je ur ena student m Fakulty elektrotechniky a informatiky V B - Technické univerzity Ostrava T mto student m je p edev²ím ur eno skriptum profesora Zde ka Dostála
VícePost ehy a materiály k výuce celku Funkce
Post ehy a materiály k výuce celku Funkce 1) Grafy funkcí Je p edloºeno mnoºství výukových materiál v programu Graph - tvary graf základních i posunutých funkcí, jejich vzájemné polohy, Precizní zápis
VíceÚplný systém m logických spojek. 3.přednáška
Úplný sstém m logických spojek 3.přednáška Definice Úplný sstém m logických spojek Řekneme, že množina logických spojek S tvoří úplný sstém logických spojek, jestliže pro každou formuli A eistuje formule
Více