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.
|
|
- Jiří Ovčačík
- před 8 lety
- Počet zobrazení:
Transkript
1 Výrok a jeho negace Výrokem se rozumí sdělení u něhož má smysl otázka zda je či není pravdivé. Budeme určovat tzv. pravdivostní hodnotu výroku (PH). Příklady výroků: V : Úhlopříčky čtverce jsou na sebe kolmé. : 1 V : Číslo 8 je liché. V : 0 1 N V : Paříž je hl. město Španělska. V : + 3 = 5 3 Příklady tvrzení které nejsou výroky: Kolik je hodin? Jdi domů! x = 4 V je výrok Není pravda že V ; negaci označíme Je li V pravdivý je výrok V nepravdivý. Je li V nepravdivý je výrok V pravdivý. V odpovídá V. Poznámka: ( ) V a b R : ( a + b) = a + ab + b V. Zřejmě platí: Řekneme li že nějaká množina má aspoň k prvků znamená to že počet jejich prvků je větší nebo roven číslu k. Řekneme li že nějaká množina má nejvýše k prvků znamená to že počet jejich prvků je menší nebo roven číslu k. Kvantifikované výroky a jejich negace Obecný kvantifikátor ( ) vyjadřuje že daná vlastnost platí pro každý prvek. Existenční kvantifikátor ( ) vyjadřuje že existuje aspoň jeden prvek pro který daná vlastnost platí. Příklady kvantifikovaných výroků: V : a b R : a + b > 0 V : n N : n > 0 : 1 Jak negovat kvantifikované výroky názorně ukazuje následující tabulka: Každý prvek množiny M má danou vlastnost je výrok Aspoň jeden prvek množiny M nemá danou vlastnost. A jak se tyto výroky negují? výrok Množina M má aspoň k prvků Množina M má nejvýše k prvků. 3 V x Z ( x) Z : x + ( x) = 0 Aspoň jeden prvek množiny M má danou vlastnost je výrok Žádný prvek množiny M nemá danou vlastnost. Množina M má nejvýše k-1 prvků Množina M má aspoň k+1 prvků. Složené výroky Jsou tvořeny dvěma nebo více výroky jednoduššími. Konjunkce A B. Je pravdi- Konjunkce výroků A B je výrok který vznikne jejich spojením spojkou a. Zapisujeme: vá pouze tehdy když jsou pravdivé oba výroky A B. 1/5
2 Disjunkce Disjunkce výroků A B je výrok který vznikne jejich spojením spojkou nebo. Zapisujeme: pravdivá pouze tehdy je li pravdivý alespoň jeden z výroků A B. Otázka: Jakou analogii splňují konjunkce a disjunkce s množinovými operacemi? Impl i kace A B. Je Implikace výroků A B je výrok který vznikne jejich spojením slovním obratem jestliže pak. Zapisujeme: A B. Je pravdivá pouze tehdy když jsou pravdivé oba výroky A B nebo když je výrok A nepravdivý a výrok B jakýkoli. Poznámka: Matematické věty mají obvykle tvar implikace nebo ekvivalence. Pak je výrok A chápan jako předpoklad výrok B jako závěr (tvrzení). A B. Platí přitom že z pravdivosti im- Implikace B Ase nazývá obrácená implikace k implikaci plikace A B nevyplývá pravdivost její obrácené implikace. Příklad: Je li trojúhelník rovnostranný pak je rovnoramenný. Implikace B Ase nazývá obměněná implikace k implikaci a obměněná implikace jsou ekvivalentní. A B. Platí přitom že implikace Poznámka: Obměněná implikace je využívána při nepřímých důkazech matematických vět. Ekvi val ence A B Ekvivalence výroků A B je výrok který vznikne jejich spojením slovním obratem právě když. Zapisujeme: A B. Je pravdivá pouze tehdy když výroky A B jsou oba pravdivé nebo oba nepravdivé. Platí: ( A B) (( A B) ( B A) ) Tabulka pravdivostních hodnot složených výroků: A B A A B A B A B A B Negace složených výroků Nechť A B jsou výroky. Pak platí: 1. ( A B) ( A B) de Morganova pravidla. ( A B) ( A B) de Morganova pravidla 3. ( A B) ( A B) 4. ( A B) (( A B) ( B A) ) ( A B) ( B A) ( A B) ( B A) Příklad: Napište negace následujících výroků: a) Nepřijde Ondřej nebo Tereza. b) Číslo 50 je dělitelné 15 a 5. c) Je li ciferný součet N-čísla dělitelný 3 pak je toto číslo dělitelné 3. d) Jan přijde právě tehdy když přijde Iva. e) n N : ( n 3n) 6 n f) Nebude li pršet nezmokneme. /5
3 Výrokové formule a formy Výroková formule je výraz tvořen výrokovými proměnnými (elementárními výroky) logickými spojkami a závorkami. Ohodnotíme li tyto výrokové proměnné tzn. každé z nich přiřadíme jednu ze dvou logických konstant true nebo false (0 nebo 1) získáme pravdivý resp. nepravdivý výrok. Příklad výrokové formule: Označují li proměnné A B C elementární výroky pak např. výraz A B C je výrokovou formulí. ( ) Výroková forma (predikátová formule) je výraz obsahující mimo jiné jednu nebo více proměnných (x y..). Dosadíme li za tyto proměnné konstanty jež mohou nabývat získáme pravdivý resp. nepravdivý x V x y. výrok. Výrokové formy označujeme: V ( ) ( ) Příklady výrokových forem: V ( n) : n N : n 1 V x : x = 3 ( ) ( x y) V x + y 0 Tautologie a kontradikce Tautologie je výroková formule která je vždy pravdivá bez ohledu na pravdivostní hodnotu výroků v ní obsažených. Kontradikce je výroková formule která je vždy nepravdivá bez ohledu na pravdivostní hodnotu výroků v ní obsažených. Příklad: Rozhodněte zda složený výrok (výroková formule) A B C A C B (( ) ) (( ) ) 3/5
4 příklady: 1. Rozhodněte která z následujících tvrzení jsou výroky. Pokud je tvrzení výrokem negujte: a) Úhlopříčky čtverce jsou navzájem kolmé. b) Existuje rovnostranný trojúhelník. c) Pythagorova věta. d) Číslo x je kladné. e) Číslo 8 je liché. f) Jdi domů! g) 3 N. h) Součin dvou nezáporných reálných čísel je kladný. i) Přímka daná rov. y = x 1 prochází b. [ 1 ;1]. j) Daný trojúhelník ABC je ostroúhlý. k) Přímka t je tečnou k dané přímce. l) Negujte výroky: a) Česká republika má více než 10 miliónů obyvatel. b) Praha má méně než 15 miliónů obyvatel. c) Tato učebnice má nejvýše 00 stránek. d) Číslo 30 je dělitelné aspoň třemi prvočísly. e) V této přihrádce je nejvýše n + 1předmětů. f) Daná množina má právě n + 1 prvků. g) Pravidelný dvanácti stěn má aspoň 0 vrcholů. h) Mezi všemi jednocifernými čísly jsou nejvýše tři prvočísla. 3. Neguje následující kvantifikované výroky: a) Úhlopříčky každého čtyřúhelníku jsou navzájem kolmé. b) Existuje trojúhelník ve kterém součet všech jeho vnitřních úhlů je 180. c) Nic nového pod sluncem. d) Pro všechna reálná čísla x > 1 platí x > x. e) Každé přirozené číslo které je dělitelné deseti je dělitelné pěti. f) Žádný učený z nebe nespadl. g) Pro každé přirozené číslo n je n + 1klad- né. h) Vzdálenost libovolných dvou bodů je číslo záporné. 4. K babičce mají přijet na prázdniny dvě vnučky Alena a Blanka. Zapište složenými výroky následující tvrzení: A: Přijede Alena B: Přijede Blanka. a) Alena přijede a Blanka nepřijede. b) Nepřijede Alena nebo nepřijede Blanka. c) Jestliže nepřijede Alena pak přijede Blanka. 4/5 d) Přijedou obě vnučky. e) Přijede nejvýše jedna vnučka. f) Přijede právě jedna vnučka. 5. Rozepište jako konjunkci nebo jako disjunkci dvou výroků zápisy a) 10 > 8 > 5 b) 3 π c) 100 = 5 = 4 5 d) KLM OPR ABC 6. K daným výrokům: A: Číslo 9 je dělitelné dvěma. B: Číslo 9 je dělitelné třemi. Vytvořte složené výroky A A B A B A B A B 7. Maminka řekla Petrovi: Jestliže budeš hodný dostaneš dort. Jsou čtyři možnosti: a) Petr byl hodný a dostal dort. b) Petr byl hodný a nedostal dort. c) Petr nebyl hodný a dostal dort. d) Petr nebyl hodný a nedostal dort. Ve kterých případech a) až d) maminka nelhala? 8. Víme že je pravdivá implikace: Jestliže je Jana nemocná potom nepřijde do školy. Dnes Jana nepřišla do školy. Rozhodněte zda je pravdivý výrok: Jana je nemocná. 9. Rozhodněte při kterých pravdivostních hodnotách výroků A B jsou uvedené výrokové formule pravdivé. A B A B b) ( A B) B a) ( ) ( ) 10. Jsou dány výroky: P: 4 Q: 3 < 5. Rozhodněte které z následujících složených výroků jsou pravdivé a které nepravdivé. a) P Q e) P b) P Q f) Q c) P Q g) P Q d) P Q h) P Q 11. Na večírek bylo pozváno 5 přátel které označíme K L M N P. Jejich odpovědi na pozvání lze vyjádřit následujícími výroky. a) Přijde K a přijde L. b) Přijde L nebo přijde M. c) Jestliže přijde M pak přijde také N. d) P přijde právě tehdy když přijde M. Pro nepříznivé počasí nepřišel nikdo z nich. Rozhodněte kteří z pozvaných přesto neporušili slib tj. které z výroků a) až d) platí.
5 1. Stanovte zda jsou pravdivé tyto implikace: a) Je li 9 sudé číslo pak také 9 je sudé číslo. b) Je li 6 prvočíslo pak 6+5 je prvočíslo. c) Jestliže dané přirozené číslo je součinem dvou lichých čísel potom toto číslo je liché. 13. Negujte obměňte a obraťte danou implikaci P Q. 14. Vyslovte obměny a obrácení implikací. a) Jsem li unavený ihned usínám. b) Jestliže jede automobil v dešti řidič má zapnutá potkávací světla. c) Jestliže chce řidič změnit směr jízdy zapíná ukazatele změny směru. 15. Napište negace následujících slovních výroků. a) Přijde Alena a Barbora. b) Přijde Cyril nebo David. c) Jestliže přijde Eva potom přijde Hana. d) Jan přijde právě tehdy když přijde Iva. 16. Napište negace uvedených výroků. a) Číslo 50 je dělitelné 15 a 5. b) Číslo 50 není dělitelné 15 nebo není dělitelné 5. c) Jestliže je poslední dvojčíslí daného přirozeného čísla dělitelné 4 potom je i dané číslo dělitelné 4. d) Číslo je dělitelné 6 právě tehdy když je dělitelné a Negujte následující výroky. a) Je li číslo iracionální je iracionální i číslo + 1. b) Je li trojúhelník ABC rovnostranný je rovnoramenný. c) Není li číslo 5 přirozené není přirozené ani číslo Považujte následující rčení za výroky a negujte je: a) Přišel jsem viděl jsem zvítězil jsem. b) Nebude li pršet nezmoknem. c) Já to platit nebudu radši se dám na vojnu. d) Bude li každý z nás křemenem bude celý národ z kvádrů. 19. Utvořte negace výroků: a) A B b) A B c) A B d) A B e) ( A B) C f) ( A C) B. 0. Určete (tabulkou pravdivostních hodnot) které z následujících výroků jsou tautologie. a) ( A B) ( A B) b) ( A B) ( A B) c) ( B A) ( B A). d) (( A B) C) (( A C) B) e) A ( B C) ( A B) ( A C) f) (( A B) C) (( A C) B). 1. Kapitán Exner vyšetřuje případ vraždy. Vyšetřováním se okruh podezřelých zúžil na tři osoby A B C. Jeho podřízení vyslechli podezřelé a o jejich přítomnosti na místě činu v kritické době kapitánovi hlásí: Jestliže byl v kritické době na místě činu podezřelý C pak tam nebyl podezřelý A ale byl tam podezřelý B. Není pravda že na místě činu nebyl A a přitom tam nebyl C. Byl li na místě činu podezřelý A nebyl tam C a když tam nebyl C byl tam A. Kapitán Exner: Bohužel to nám k usvědčení vraha nestačí. Poručík Beránek: No ještě bezpečně víme že pachatel byl v kritické době na místě činu sám. Kapitán Exner: To je jiná věc. Mí důstojníci jdeme zatknout pachatele! Dovedete určit stejně jako kapitán Exner kdo je vrahem?. Pro provozní doby tří benzínových stanic A B C v určitém městě platí tyto podmínky: Vždy je v provozu benzínová stanice A nebo C. Stanice C je mimo provoz právě když je otevřeno ve stanici A. Má li prodejní dobu stanice C pak stanice A není v provozu a je v činnosti stanice B. Určete všechny možnosti provozu těchto tří benzínových stanic. 5/5
1 Výrok a jeho negace
1 Výrok a jeho negace Výrokem se rozumí sdělení, u něhož má smysl otázka, zda je, či není pravdivé. Budeme určovat tzv. pravdivostní hodnotu výroku (PH). Příklady výroků: V Úhlopříčky čtverce jsou na sebe
VíceVY_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.
Číslo projektu Číslo materiálu CZ.1.07/1.5.00/34.0394 VY_42_Inovace_12_MA_2.01_ Výroky Název školy Střední odborná škola a Střední odborné učiliště, Hustopeče, Masarykovo nám. 1 Autor Tematický celek Mgr.
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íceSLOŽENÉ VÝROKY. Konjunkce. Motivační příklad společné zadání pro další příklady:
ARNP 1 2015 Př. 1 SLOŽENÉ VÝROKY Motivační příklad společné zadání pro další příklady: Byly vysloveny následující výroky (vhledem k budoucímu času se jedná o hypotézy) : b: Na přednášku přijde Barbora.
Více09. seminář logika (úvod, výroková).notebook. November 30, 2011. Logika
Logika 1 Logika Slovo logika se v češtině běžně používá ve smyslu myšlenková cesta, která vedla k daným závěrům. Logika je formální věda, zkoumající právě onen způsob vyvozování závěrů. Za zakladatele
VíceKMA/MDS Matematické důkazy a jejich struktura
Modernizace studijního programu Matematika na PřF Univerzity Palackého v Olomouci CZ.1.07/2.2.00/28.0141 KMA/MDS Matematické důkazy a jejich struktura Seminář 2 Výroková logika pokračování Logické vyplývání
Více1. Výroky a operace s nimi
1. Výroky a operace s nimi 1. Rozhodněte, zda se jedná o výrok, případně určete, zda je pravdivý či nepravdivý: a) Úhlopříčky čtverce nejsou navzájem kolmé. b) Existuje trojúhelník, který je rovnoramenný.
VíceVÝROKOVÁ LOGIKA. Výrok srozumitelná oznamovací věta (výraz, sdělení), která může být buď jen pravdivá nebo jen nepravdivá..
VÝROKOVÁ LOGIKA Teorie: Logika je vědní obor zabývající se studiem různých forem vyjadřování a pravidel správného posuzování. (Matematická logika je součástí tohoto vědního oboru a ve velké míře užívá
VíceZáklady informatiky. Výroková logika
Základy informatiky Výroková logika Zpracoval: Upravila: Ing. Pavel Děrgel Daniela Sztrucová Obsah přednášky Výroková logika Výroky Pravdivostní ohodnocení Logické spojky Výrokově logická analýza Aristotelés
VíceKterá tvrzení jsou pravdivá nezávisle na tom, který den v týdnu byla vyslovena? Tvrzení trosečníka Dana.
Trosečníci Adam, Barry, Code a Dan zapoměli po čase kalendář. Začali se dohadovat, který den v týdnu vlastně je. Každý z nich řekl svůj názor: A: Dnes je úterý nebo zítra je neděle B: Dnes není úterý nebo
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í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ícevýrok-každésdělení,uněhožmásmyslseptát,zdaječinenípravdivé, aproněžprávějednaztěchtodvoumožnostínastává.
1 Základní pojmy matematické logiky Výrokový počet... syntaktické hledisko Predikátový počet... sémantické hledisko 1.1 VÝROKOVÝ POČET výrok-každésdělení,uněhožmásmyslseptát,zdaječinenípravdivé, aproněžprávějednaztěchtodvoumožnostínastává.
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íce1.4.3 Složené výroky implikace a ekvivalence
1.4.3 Složené výroky implikace a ekvivalence Předpoklady: 1401, 1402 Pedagogická poznámka: Látka zabere spíše jeden a půl vyučovací hodiny. Buď můžete využít písemku nebo se podělit o čas s následující
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í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í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íceJazyk matematiky. 2.1. Matematická logika. 2.2. Množinové operace. 2.3. Zobrazení. 2.4. Rozšířená číslená osa
2. Jazyk matematiky 2.1. Matematická logika 2.2. Množinové operace 2.3. Zobrazení 2.4. Rozšířená číslená osa 1 2.1 Matematická logika 2.1.1 Výrokový počet logická operace zapisujeme čteme česky negace
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í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íce1. Základy logiky a teorie množin
. Základy logiky a teorie množin Studijní text. Základy logiky a teorie množin A. Logika Matematická logika vznikla v 9. století. Jejím zakladatelem byl anglický matematik G. Boole (85 864). Boole prosadil
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í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í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í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íceNegace výroku. Příklad 1. Rozhodněte, zda jsou věty výroky, u výroků určete pravdivostní hodnotu:
Základní pojmy výrokové logiky Výrok je každé sdělení, o němž má smysl říci, zda je pravdivé nebo nepravdivé. Přitom může nastat pouze jedna možnost. Výroky označujeme obvykle velkými písmeny A, B, C Pravdivému
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í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íceA0M15EZS Elektrické zdroje a soustavy ZS 2011/2012 cvičení 1. Jednotková matice na hlavní diagonále jsou jedničky, všude jinde nuly
Matice Matice typu (m, n) je uspořádaná m-tice prvků z řádky matice.. Jednotlivé složky této m-tice nazýváme Matice se zapisují Speciální typy matic Nulová matice všechny prvky matice jsou nulové Jednotková
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íceNepřijde a nedám 100 Kč měl jsem pravdu, o této
1.4.4 Implikace Předpoklady: 010403 Implikace Implikace libovolných výroků a,b je výrok, který vznikne jejich spojením slovním obratem jestliže, pak, píšeme a b a čteme jestliže a, pak b. Výroku a se říká
Více1. MATEMATICKÁ LOGIKA A MNOŽINY
. MATEMATICKÁ LOGIKA A MNOŽINY Průvodce studiem V následující kapitole si připomeneme některé význačné poznatky z matematické logiky a teorie množin, tvořící základ množinově logického aparátu. S celou
VíceMatice. Přednáška MATEMATIKA č. 2. Jiří Neubauer. Katedra ekonometrie FEM UO Brno kancelář 69a, tel. 973 442029 email:jiri.neubauer@unob.
Přednáška MATEMATIKA č. 2 Katedra ekonometrie FEM UO Brno kancelář 69a, tel. 973 442029 email:jiri.neubauer@unob.cz 13. 10. 2010 Uspořádané schéma vytvořené z m n reálných čísel, kde m, n N a 11 a 12 a
VíceCvič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)]
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)] p q p q p q q p p A B C D E UEK UED A B C D E F 0 0 1 1 0 0 0 1 p q
VíceVysoké učení technické v Brně. Fakulta strojního inženýrství. Matematika. Příručka pro přípravu k přijímacím zkouškám
Vysoké učení technické v Brně Fakulta strojního inženýrství Matematika Příručka pro přípravu k přijímacím zkouškám Doc. PaedDr. Dalibor Martišek, Ph.D. RNDr. Milana Faltusová 5 Autoři: Lektorovala: Doc.
Více( ) ( ) Negace složených výroků II. Předpoklady:
1.4.7 Negace složených výroků II Předpoklady: 010405 Pedagogická poznámka: Na začátku hodiny slovně zadávám úkol najít negaci implikace. Teprve po zapsání do třídnice promítám zadání příkladů (kde je v
VíceDodatek č. 3 ke školnímu vzdělávacímu programu. Strojírenství. (platné znění k 1. 9. 2009)
Střední průmyslová škola Jihlava tř. Legionářů 1572/3, Jihlava Dodatek č. 3 ke školnímu vzdělávacímu programu Strojírenství (platné znění k 1. 9. 09) Tento dodatek nabývá platnosti dne 1. 9. 13 (počínaje
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í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íceZáklady číslicové techniky. 2 + 1 z, zk
Základy číslicové techniky 2 + 1 z, zk Ing. Vít Fábera, K614 e-mail: fabera@fd.cvut.cz K508, 5. patro, laboratoř, 2 2435 9555 Ing. Tomáš Musil, Ph.D., K620 e-mail: musil@asix.cz K508, 5. patro, laboratoř,
VíceÚvod do logiky (VL): 8. Negace výroků
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): 8. Negace výroků doc. PhDr. Jiří Raclavský,
VíceEdita Kolářová ÚSTAV MATEMATIKY
Přípravný kurs z matematik Edita Kolářová ÚSTAV MATEMATIKY Přípravný kurs z matematik 1 Obsah 1 Přehled použité smbolik 3 Základní pojm matematické logik a teorie množin 4.1 Element matematické logik.........................
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í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íceI. kolo kategorie Z9
58. ročník Matematické olympiády I. kolo kategorie Z9 Z9 I Do tří prázdných polí na obrázku patří taková přirozená čísla, aby součin tří čísel na každé straně trojúhelníku byl stejný. 42 6 72 Jakénejmenšíajakénejvětšíčíslomůžebýtzatétopodmínkyvepsánodošeděvybarveného
VícePredikátová logika. Kapitola 2. 2.1 Formule predikátové logiky
5 Kapitola 2 Predikátová logika 2.1 Formule predikátové logiky 2.1.1 Příklad. Napište formule predikátové logiky odpovídající následujícím větám. Použijte k tomu predikátových symbolů uvedených v textu.
VíceProjekt OPVK - CZ.1.07/1.1.00/26.0047 Matematika pro všechny. Univerzita Palackého v Olomouci
Projekt OPVK - CZ.1.07/1.1.00/26.0047 Matematika pro všechny Univerzita Palackého v Olomouci Tematický okruh: Argumentace a ověřování Gradovaný řetězec úloh Autor: Stanislav Trávníček Úloha 1 (úroveň 1
Více1 Úvod do matematické logiky
1 Úvod do matematické logiky Logikou v běžném slova smyslu rozumíme myšlenkovou cestu, která vede k určitým závěrům. Logika je také formální věda, která zkoumá způsob vyvozování závěrů. Za zakladatele
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í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í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íce3. Mocnina a odmocnina. Pythagorova věta
. Mocnina a odmocnina. Pythagorova věta 7. ročník -. Mocnina, odmocnina, Pythagorovavěta.. Mocnina... Vymezení pojmu Součin stejných činitelů můţeme napsat v podobě mocniny. Například : součin...... můţeme
VíceMatematická analýza 1
Matematická analýza 1 ZS 2019-20 Miroslav Zelený 1. Logika, množiny a základní číselné obory 2. Limita posloupnosti 3. Limita a spojitost funkce 4. Elementární funkce 5. Derivace 6. Taylorův polynom Návod
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íceVýroková logika. Sémantika výrokové logiky
Výroková logika Výroková logika se zabývá vztahy mezi dále neanalyzovanými elementárními výroky. Nezabývá se smyslem těchto elementárních výroků, zkoumá pouze vztahy mezi nimi. Elementární výrok je takový
VíceVysoká škola ekonomická v Praze
Vysoká škola ekonomická v Praze Fakulta informatiky a statistiky Katedra informačního a znalostního inženýrství Student Vedoucí bakalářské práce : Marek Nekvasil : RNDr. Jiřina Vejnarová, CSc. TÉMA BAKALÁŘSKÉ
VíceLogika I. RNDr. Kateřina Trlifajová PhD. Katedra teoretické informatiky Fakulta informačních technologíı BI-MLO, ZS 2011/12
Logika I. 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íceÚvod do logiky (VL): 2. Uvedení do výrokové logiky
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): 2. Uvedení do výrokové logiky doc. PhDr. Jiří
VíceÚvod do logiky (PL): negace a ekvivalence vět mimo logický
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 (PL): negace a ekvivalence vět mimo logický čtverec
Více2.2. SČÍTÁNÍ A NÁSOBENÍ MATIC
22 SČÍTÁNÍ A NÁSOBENÍ MATIC V této kapitole se dozvíte: jak je definováno sčítání matic a jaké má základní vlastnosti jak je definováno násobení matic číslem a jaké má základní vlastnosti zda a proč se
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ícePredikátová logika. 3.1 Formule predikátové logiky
12 Kapitola 3 Predikátová logika 3.1 Formule predikátové logiky 3.1.1 Příklad. Napište formule predikátové logiky odpovídající následujícím větám. Použijte k tomu predikátových symbolů uvedených v textu.
VícePredikátová logika Individua a termy Predikáty
Predikátová logika Predikátová logika je rozšířením logiky výrokové o kvantifikační výrazy jako každý, všichni, někteří či žádný. Nejmenší jazykovou jednotkou, kterou byla výroková logika schopna identifikovat,
VíceÚvod do informatiky. Miroslav Kolařík
Úvod do informatiky přednáška první Miroslav Kolařík Zpracováno dle učebního textu prof. Bělohlávka: Úvod do informatiky, KMI UPOL, Olomouc 2008. Obsah 1 Co a k čemu je logika? 2 Výroky a logické spojky
Více[a) (4 (7 + 5) = 4 12) (4 12 = 48); b) ( 1< 1) (1< 3); c) ( 35 < 18) ( 35 = 18)]
Úloha 1 U každé dvojice výroků rozhodněte, zda výrok uvedený vpravo je negací výroku vlevo. Pokud tomu tak není, zdůvodněte proč. a) p: Mám bílý svetr. q: Mám černý svetr. b) r: Bod A leží vně kruhu K.
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íceDISKRÉTNÍ MATEMATIKA PRO INFORMATIKY I
KATEDRA INFORMATIKY PŘÍRODOVĚDECKÁ FAKULTA UNIVERZITA PALACKÉHO DISKRÉTNÍ MATEMATIKA PRO INFORMATIKY I RADIM BĚLOHLÁVEK, VILÉM VYCHODIL VÝVOJ TOHOTO UČEBNÍHO TEXTU JE SPOLUFINANCOVÁN EVROPSKÝM SOCIÁLNÍM
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íceGymnázium Jiřího Ortena, Kutná Hora
Předmět: Náplň: Třída: Počet hodin: Pomůcky: Matematika Základní poznatky, Rovnice a nerovnice, Planimetrie 1. část 1. ročník a kvinta 4 hodiny týdně PC a dataprojektor, učebnice Základní poznatky Číselné
VíceMatematická logika. Miroslav Kolařík
Matematická logika přednáška třetí Miroslav Kolařík Zpracováno dle textu R. Bělohlávka: Matematická logika poznámky k přednáškám, 2004. a dle učebního textu R. Bělohlávka a V. Vychodila: Diskrétní matematika
VíceÚvod do logiky (VL): 5. Odvození výrokových spojek z jiných
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): 5. Odvození z jiných doc. PhDr. Jiří Raclavský,
Více1. Základy logiky a teorie množin
1. Základy logiky a teorie množin A. Logika Matematická logika vznikla v 19. století. Jejím zakladatelem byl anglický matematik G. Boole (1815 1864). Boole prosadil algebraické pojetí logiky a zavedl logické
VíceMatematická logika. Miroslav Kolařík
Matematická logika přednáška první Miroslav Kolařík Zpracováno dle textu R. Bělohlávka: Matematická logika poznámky k přednáškám, 2004. a dle učebního textu R. Bělohlávka a V. Vychodila: Diskrétní matematika
VíceOtázky z kapitoly Základní poznatky
Otázky z kapitoly Základní poznatky 4. ledna 2016 Obsah 1 Krokované příklady (0 otázek) 1 2 Mnohočleny a lomené výrazy (88 otázek) 1 2.1 Obtížnost 2 (78 otázek)....................................... 1
VíceRegulární matice. Věnujeme dále pozornost zejména čtvercovým maticím.
Regulární matice Věnujeme dále pozornost zejména čtvercovým maticím. Věta. Pro každou čtvercovou matici A = (a ij ) řádu n nad tělesem (T, +, ) jsou následující podmínky ekvivalentní: (i) Řádky matice
VíceSoučin matice A a čísla α definujeme jako matici αa = (d ij ) typu m n, kde d ij = αa ij pro libovolné indexy i, j.
Kapitola 3 Počítání s maticemi Matice stejného typu můžeme sčítat a násobit reálným číslem podobně jako vektory téže dimenze. Definice 3.1 Jsou-li A (a ij ) a B (b ij ) dvě matice stejného typu m n, pak
Více- existuje..., negace: pro všechny neplatí,... - pro všechna..., negace: existuje, že neplatí,...
.4.0 Formální logika shrnutí Předpoklady: 00409 Shrnutí logiky Důležité znalosti konjunkce, a b, "a", pravda, jen když jsou oba výroky pravdivé (jako průnik) disjunkce, a b, "nebo", lež, jen když jsou
VíceVýroková logika. p, q, r...
Výroková logika Výroková logika je logika, která zkoumá pravdivostní podmínky tvrzení a vztah vyplývání v úsudcích na základě vztahů mezi celými větami. Můžeme též říci, že se jedná o logiku spojek, protože
VíceBooleovská algebra. Pravdivostní tabulka. Karnaughova mapa. Booleovské n-krychle. Základní zákony. Unární a binární funkce. Podmínky.
Booleovská algebra. Pravdivostní tabulka. Karnaughova mapa. Booleovské n-krychle. Základní zákony. Unární a binární funkce. Podmínky. Tomáš Bayer bayertom@natur.cuni.cz Katedra aplikované geoinformatiky
Více1. POJMY 1.1. FORMULE VÝROKOVÉHO POČTU
Obsah 1. Pojmy... 2 1.1. Formule výrokového počtu... 2 1.2. Množina... 3 1.2.1. Operace s množinami... 3 1.2.2. Relace... 3 2. Číselné obory... 5 2.1. Uzavřenost množiny na operaci... 5 2.2. Rozšíření
VíceVýroková logika II. Negace. Již víme, že negace je změna pravdivostní hodnoty výroku (0 1; 1 0).
Výroková logika II Negace Již víme, že negace je změna pravdivostní hodnoty výroku (0 1; 1 0). Na konkrétních příkladech si ukážeme, jak se dají výroky negovat. Obecně se výrok dá negovat tak, že před
VíceMatematika B101MA1, B101MA2
Matematika B101MA1, B101MA2 Zařazení předmětu: povinný předmět 1.ročníku bc studia 2 semestry Rozsah předmětu: prezenční studium 2 + 2 kombinované studium 16 + 0 / semestr Zakončení předmětu: ZS zápočet
VícePoznámky z matematiky
Poznámky z matematiky Verze: 14. dubna 2015 Petr Hasil hasil@mendelu.cz http://user.mendelu.cz/hasil/ Ústav matematiky Lesnická a dřevařská fakulta Mendelova univerzita v Brně Vytvořeno s podporou projektu
Více3. Matice a determinanty
. Matice a determinanty Teorie matic a determinantů představuje úvod do lineární algebry. Nejrozsáhlejší aplikace mají matice a determinanty při řešení systémů lineárních rovnic. Pojem determinantu zavedl
VícePřehled učiva matematiky 7. ročník ZŠ
Přehled učiva matematiky 7. ročník ZŠ I. ARITMETIKA 1. Zlomky a racionální čísla Jestliže rozdělíme něco (= celek) na několik stejných dílů, nazývá se každá část celku zlomkem. Zlomek tři čtvrtiny = tři
VíceLogika III. RNDr. Kateřina Trlifajová PhD. Katedra teoretické informatiky Fakulta informačních technologíı BI-MLO, ZS 2011/12
Logika III. 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í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íceLogika. 5. Rezoluční princip. RNDr. Luděk Cienciala, Ph. D.
Logika 5. Rezoluční princip 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,
Vícef(x) = 9x3 5 x 2. f(x) = xe x2 f(x) = ln(x2 ) f(x) =
Zadání projektů Projekt 1 f(x) = 9x3 5 2. Určete souřadnice vrcholů obdélníka ABCD, jehož dva vrcholy mají kladnou y-ovou souřadnici a leží na parabole dané rovnicí y = 16 x 2 a další dva vrcholy leží
VíceZÁKLADY LOGIKY A METODOLOGIE
ZÁKLADY LOGIKY A METODOLOGIE Metodický list č. 1 Téma: Předmět logiky a metodologie, základy logiky a formalizace. Toto téma lze rozdělit do tří základních tématických oblastí: 1) Předmět logiky a metodologie
VíceMatematické symboly a značky
Matematické symboly a značky Z Wikipedie, otevřené encyklopedie Matematický symbol je libovolný znak, používaný v. Může to být znaménko pro označení operace s množinami, jejich prvky, čísly či jinými objekty,
VíceM - Výroková logika VARIACE
M - Výroková logika Autor: Mgr. Jaromír Juřek Kopírování a další šíření povoleno pouze s uvedením odkazu na www.jarjurek.cz. VARIACE 1 Tento dokument byl kompletně vytvořen, sestaven a vytištěn v programu
VíceCZ.1.07/1.5.00/34.0527
Projekt: Příjemce: Digitální učební materiály ve škole, registrační číslo projektu CZ.1.07/1.5.00/34.0527 Střední zdravotnická škola a Vyšší odborná škola zdravotnická, Husova 3, 371 60 České Budějovice
VíceBinární logika Osnova kurzu
Osnova kurzu 1) Základní pojmy; algoritmizace úlohy 2) Teorie logického řízení 3) Fuzzy logika 4) Algebra blokových schémat 5) Vlastnosti členů regulačních obvodů 6) Vlastnosti regulátorů 7) Stabilita
Více1. Matematická logika
MATEMATICKÝ JAZYK Jazyk slouží člověku k vyjádření soudů a myšlenek. Jeho psaná forma má tvar vět. Každá vědní disciplína si vytváří svůj specifický jazyk v úzké návaznosti na jazyk živý. I matematika
Více1. Matematická logika
Moderní technologie ve studiu aplikované fyziky CZ.1.07/2.2.00/07.0018 1. Matematická logika Základem každé vědy (tedy i matematiky i fyziky) je soubor jistých znalostí. To, co z těchto izolovaných poznatků
Více1. POJMY 1.1. FORMULE VÝROKOVÉHO POČTU
Obsah 1. Pojmy... 2 1.1. Formule výrokového počtu... 2 1.2. Množina... 3 1.2.1. Operace s množinami... 3 1.2.2. Relace... 3 2. Číselné obory... 5 2.1. Uzavřenost množiny na operaci... 5 2.2. Rozšíření
VíceMária Sadloňová. Fajn MATIKA. 150 řešených příkladů (vzorek)
Mária adloňová Fajn MATIKA (nejen) na přijímačky 50 řešených příkladů (vorek) 0 Mgr. Mária adloňová FajnMATIKA (nejen) na přijímačky 50 řešených příkladů (reklamní vorek) Mgr. Mária adloňová, 0 Vydavatel
Více8. Stereometrie 1 bod
8. Stereometrie 1 bod 8.1. Poměr objemů pravidelného čtyřbokého hranolu a jemu vepsaného válce je 4 : π b) : π c) : π d) : π e) 4 : π. 8.. Zmenšíme-li poloměr podstavy kužele o polovinu a jeho výšku zvětšíme
Více