teorie logických spojek chápaných jako pravdivostní funkce
|
|
- Richard Moravec
- před 9 lety
- Počet zobrazení:
Transkript
1 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 symbolů, logických spojek a závorek 1/??
2 Základní pojmy výrok výrok: tvrzení nebo jazykový výraz, o jehož (ne)pravdivosti lze uvažovat syntaktická klasifikace výroků: jednoduchý výrok: neobsahuje žádnou logickou spojku (žádná jeho vlastní část není výrokem); příklad: prší složený výrok: obsahuje alespoň jednu logickou spojku; příklad: není pravda, že prší (vlastní část prší je jednoduchým výrokem, není pravda, že je logickou spojkou) 2/??
3 Výrok příklady příklady výroků: je pět hodin = 5 pokud nenapíšeš úkoly a neuklidíš, nepůjdeme do kina příklady výrazů, které nejsou výroky: kolik je hodin? napiš úkoly a ukliď 3/??
4 Základní pojmy pravdivostní funkce (n-ární) pravdivostní funkce: funkce přiřazující n-ticím pravdivostních hodnot některou pravdivostní hodnotu pravda (1, true apod.) nebo nepravda (0, false apod.) příklad: označme funkci dvou argumentů v přirozeném jazyce a; definujme ji tak, že její hodnota bude 1 (pravda) v případě, že oba argumenty (výroky) budou pravdivé. V ostatních případech (alespoň jeden argument bude nepravdivý) bude hodnota této funkce 0. Petr je doma a Pavel odjel na hory. Jsou-li výroky Petr je doma i Pavel odjel na hory pravdivé, pak hodnota funkce a je v tomto případě 1. Pokud je například výrok Pavel odjel na hory nepravdivý, je hodnota funkce 0. 4/??
5 Spojky výrokové logiky I pravdivostní hodnota složeného výroku je jednoznačně dána pravdivostními hodnotami jeho složek n-ární spojka je funkcí přiřazující uspořádané n-tici pravdivostních hodnot určitou pravdivostní hodnotu počet všech různých argumentů (uspořádaných n-tic) je vzhledem ke dvěma pravdivostním hodnotám roven 2 n Př.: možné argumenty pro unární funkce (n = 1) jsou uspořádané jednice (1), (0); jejich počet je 2 1 = 2. Pro binární funkce (n = 2) existují čtyři (2 2 = 4) možné argumenty uspořádané dvojice (0, 0), (0, 1), (1, 0), (1, 1). Pro ternární funkce existuje osm možných argumentů atd. 5/??
6 Spojky výrokové logiky II každou n-ární spojku jako totální pravdivostní funkci lze zadat pravdivostní tabulkou o 2 n řádcích každému možnému argumentu (uspořádané n-tici) je přiřazena nějaká pravdivostní hodnota Př.: p, q symboly reprezentující argumenty, F definovaná spojka p q F počet vzájemně různých n-árních spojek je 2 2n ; unární jsou čtyři, binárních je 16, ternárních 256 atd. 6/??
7 Nulární a unární výrokové spojky nulární pravdivostní funkce (nezávislé na žádném argumentu) jsou konstanty odpovídající pravdivostním hodnotám 0, 1 unární (jednoargumentové) spojky: Uvedené spojky nazýváme takto: p F 1 F 2 F 3 F F 1 unární verum, F 2 unární projekce p, F 3 negace p (ozn. p); jediná netriviální unární funkce F 4 unární falsum. 7/??
8 Binární výrokové spojky, disjunkce (alternativa; a nebo, OR) konjunkce (a zároveň, AND) p q běžně se používá infixový zápis (např. p q) spojky, jsou komutativní hodnota funkce nezávisí na pořadí argumentů 8/??
9 Binární výrokové spojky, implikace (jestliže p, pak q; předpoklad důsledek) ekvivalence (právě tehdy, když; iff if and only if) p q je komutativní, ne p q: inverzní p q, konverzní q p, kontrapozitivní q p 9/??
10 Další binární výrokové spojky spojky zajímavé z informatického hlediska: XOR nonekvivalence, negace ekvivalence (nebo ve vylučovacím smyslu; exclusive OR) negace konjunkce (Shefferova funkce, NAND) negace disjunkce (Nicodova funkce, NOR) další spojky: negace implikace (inhibice) binární verum a falsum binární projekce p, q a jejich negací opačná (konverzní; q p) implikace a její negace 10/??
11 Symbolický jazyk výrokové logiky abeceda 1. výrokové symboly: p, q, r, s,..., případně p 1, p 2, p symboly pro spojky:,,,, 3. pomocné symboly: (, ) správně utvořená formule (dále jen formule) 1. každý výrokový symbol je formule (tzv. atomická formule) 2. je-li výraz A formule, pak (A) je formule 3. jsou-li výrazy A, B formule, pak také (A) (B), (A) (B), (A) (B), (A) (B) jsou formule 4. nic jiného není formule závorková konvence: závorky lze vynechat, pokud to není na újmu jednoznačnosti formule 11/??
12 Jazyk výrokové logiky příklady Příklad 1: výrazy p, q, r jsou formulemi dle bodu 1 definice formule výrazy p, q jsou formulemi dle bodu 2 (a závorkové konvence) p q, q r, p r jsou formulemi dle bodu 3 (p q) ( q r) je formulí dle bodu 3 ((p q) ( q r)) ( p r) je rovněž formulí dle bodu 3 Příklad 2: výrazy pqr, r, p nejsou formulemi 12/??
13 Reprezentace výroků v přirozeném jazyce Příklad: věta: Pokud rychle napíšeš úkoly a venku bude hezky, půjdeme na procházku nebo pojedeme na koupaliště. označení jednoduchých výroků výrokovými symboly: p rychle napíšeš úkoly q venku bude hezky r půjdeme na procházku s pojedeme na koupaliště reprezentace v symbolickém jazyce: (p q) (r s) poznámka: převod nemusí být vždy jednoznačný 13/??
14 Sémantika výrokové logiky Pravdivostní ohodnocení (interpretace) je funkce přiřazující všem atomickým formulím dané úvahy pravdivostní hodnoty (tj. každému výrokovému symbolu přiřadí 0 nebo 1). Valuace je rozšíření interpretace z atomických na všechny formule dle tabulky pro výrokové spojky (přiřadí 0 nebo 1 např. i p q). Interpretace I splňuje formuli A (formule je pravdivá v I, resp. odpovídající valuace I (A) = 1), pokud 1. A je výrokový symbol a I(A) = 1 2. A je B a I nesplňuje B, resp. I (B) = 0 3. A je tvaru B C a I splňuje B i C, resp. I (B) = I (C) = 1 4. A je B C a I splňuje B nebo C, resp. I (B) = 1 nebo I (C) = 1 5. A je tvaru B C a I nesplňuje B nebo splňuje C, resp. I (B) = 0 nebo I (C) = 1 6. A je B C a I splňuje B i C nebo I nesplňuje B i C, resp. I (B) = I (C) 14/??
15 Interpretace příklady I Příklad 1: Mějme formuli ((p q) ( q r)) ( p r) a následující interpretaci I: I(p) = 1, I(q) = 0, I(r) = 1 dle bodu 1 I splňuje p a r, nesplňuje q dle bodu 2 I nesplňuje q a p dle bodu 3 I nesplňuje p q dle bodu 4 I splňuje q r dle bodu 5 I splňuje p r a (p q) ( q r) dle bodu 6 I splňuje ((p q) ( q r)) ( p r) 15/??
16 Příklad 2a: Interpretace příklady II Mějme formuli ( p q) p a interpretaci I: I(p) = 0, I(q) = 1 dle bodu 1 I splňuje q a nesplňuje p dle bodu 2 I splňuje p dle bodu 3 I splňuje p q dle bodu 5 I nesplňuje ( p q) p Příklad 2b: Mějme tutéž formuli a jinou interpretaci I 1 : I 1 (p) = 1, I 1 (q) = 0 dle bodu 1 I 1 splňuje p a nesplňuje q dle bodu 2 I 1 nesplňuje p dle bodu 3 I 1 nesplňuje p q dle bodu 5 I 1 splňuje ( p q) p 16/??
17 Modely, logické vyplývání Mějme formuli p p; všechny možné interpretace (existují dvě: I(p) = 1, I 1 (p) = 0) splňují tuto formuli. Formule, která je splňována každou interpretací, se nazývá tautologie. Formule p p není splňována žádnou z možných interpretací; takové formule nazýváme kontradikce. Formule A je splnitelná, je-li splňována alespoň jednou interpretací. Tuto interpretaci označujeme jako model formule A. Množina formulí T je splnitelná, pokud existuje interpretace splňující každou formuli z T. Tuto interpretaci nazýváme modelem množiny T. Formule A logicky vyplývá (na základě výrok. logiky) z množiny T, pokud pro každý model I množiny T I splňuje A. Zapisujeme T = A. 17/??
18 Tautologie symbolický zápis = A (logicky vyplývají z prázdné množiny formulí) tautologií existuje nekonečně mnoho Přehled vybraných tautologií I tautologie s jediným výrokovým symbolem: p p (zákon totožnosti) p p (zákon vyloučení třetího) (p p) (zákon sporu) p p (zákon dvojí negace) některé zobrazovací tautologie: (p q) ( p q) (p q) ( p q) (p q) ( p q) (p q) (( p q) (p q)) 18/??
19 Přehled vybraných tautologií II algebraicko-logické zákony: komutativní: (p q) (q p) (p q) (q p) (p q) (q p) asociativní: ((p q) r) (p (q r)) ((p q) r) (p (q r)) ((p q) r) (p (q r)) distributivní: (p (q r)) ((p q) (p r)) (p (q r)) ((p q) (p r)) 19/??
20 Přehled vybraných tautologií III charakteristiky implikace: p (q p) (z. simplifikace) (p p) q (p q) ( q p) (z. kontrapozice) (p (q r)) ((p q) r) (slučování premis) (p (q r)) (q (p r)) (záměna premis) ((p q) (q r)) (p r) (tranzitivita) transformační tautologie: idempotence: (p p) p; (p p) p absorbce: (p (p q)) p; (p (p q)) p de Morganovy zákony: (p q) ( p q); (p q) ( p q) 20/??
21 Některé vlastnosti tautologií I Věta o implikaci (sémantický modus ponens): jsou-li formule A a A B tautologie, pak i B je tautologie. Důkaz: sporem. Nechť platí = A a = A B. Nechť existuje interpretace I (pro výr. symboly z A a B) nesplňující B (tj. B není tautologie). I splňuje A (protože A je tautologie). Tedy I nesplňuje A B, neboť splňuje A a nesplňuje B. Dostáváme spor s předpokladem, že A B je tautologie. Pozn.: věta umožňuje získat z tautologií daného tvaru další tautologie. aplikace věty o implikaci: Víme, že p p a (p p) (q (p p)) jsou tautologie. Pak také q (p p) je tautologie. 21/??
22 Některé vlastnosti tautologií II Věta o dedukci (sémantická varianta): mějme formule A 1, A 2,... A n, B, kde n 1. Pak platí, že A 1, A 2,... A n 1, A n = B právě když A 1, A 2,... A n 1 = A n B. Důkaz: oba směry ekvivalence sporem. Pozn.: věta umožňuje (opakovaným použitím) převádět platné úsudky na tautologie a naopak. aplikace věty o dedukci: Víme, že platí p q, p q = q. Pak dvojí aplikací věty o dedukci dostaneme tautologii = (p q) ((p q) q). Ověřte, že jde skutečně o tautologii. 22/??
23 Klasifikace formulí výrokové logiky I tabulková metoda zjištění pravdivosti formulí pro všechny možné interpretace Příklad 1: formule (p q) (p q) p q (p q) (p q) vyhodnocení: po složkách (podformulích) dané formule (výrok. symboly, negace,...,celá formule) zápis pravdivostní hodnoty: v řádku s příslušnou interpretací pod vyhodnocovanou spojku (výr. symbol) 23/??
24 Klasifikace formulí výrokové logiky II Příklad 2: formule (p p) p p p dle výsledných pravdivostních hodnot celé formule (tučně vyznačený sloupec v předchozích tabulkách) rozlišujeme kontradikce: všechny výsledné pravdivostní hodnoty rovny nule splnitelné formule: alespoň jedna výsledná pravdivostní hodnota rovna jedné; modely jsou interpretace uvedené v řádcích, kde je výsledná pravdivostní hodnota formule rovna jedné tautologie: všechny výsledné pravdivostní hodnoty rovny jedné 24/??
25 Další typy úloh I Zjistěte, zda je množina formulí T = {p q, p q} splnitelná. p q p q p q T je splnitelná, jediným modelem je interpretace uvedená na vyznačeném řádku tabulky. Vyplývá formule q logicky z množiny T? (+ stejné typy úloh formulovaných v přirozeném jazyce) Ano, pro všechny modely T (viz předch. tab.) je q pravdivá. Píšeme p q, p q = q (schéma úsudku platného na základě výrokové logiky). 25/??
26 Další typy úloh II ověření tautologií tvaru implikace metodou protipříkladu: je nepravdivá pouze pro pravdivý předpoklad a nepravdivý důsledek. Pro tuto variantu za předpokladu nepravdivosti důsledku pro příslušné interpretace ověříme (ne)pravdivost předpokladu. příklad: p (q p) předpoklad: p pravdivá, q p ne jediná možnost nepravdivosti q p: q pravdivá, p ne spor s předpokladem pravdivosti p 26/??
27 Úplný systém spojek výrokové logiky prostřednictvím systému spojek {,, } jsme dokázali vyjádřit libovolnou pravdivostní funkci (spojku); lib. množinu spojek s touto vlastností nazýváme úplným systémem spojek úplnými systémy spojek jsou například {, }, {, }, {, } existují i jednoprvkové úplné systémy: lib. pravdivostní funkci lze vyjádřit pouze pomocí Shefferovy funkce (negace konjunkce, ozn. ), stejnou vlastnost má i Nicodova funkce (negace disjunkce, ozn...) Př. (p q) ((p p) (q q)) 27/??
28 Dualita konjunkce a disjunkce I vztah mezi a nazýváme dualita, tyto spojky jsou vzájemně komplementární Věta o dualitě I: nechť A, B obsahují pouze spojky,,. Nechť A, B vzniknou z A, B záměnou spojek a (formuli A nazýváme duální formou k A). Pak platí: 1. = A právě když = A (resp. = A právě když = A ) 2. pokud = A B, pak = B A 3. pokud = A B, pak = B A příklad využití věty (bod 3): A = p (q r), B = (p q) (p r) A = p (q r), B = (p q) (p r) víme, že = (p (q r)) ((p q) (p r)); pak také = (p (q r)) ((p q) (p r)) 28/??
29 Dualita konjunkce a disjunkce II Věta o dualitě II: nechť A, B obsahují pouze spojky,,. Nechť A, B vzniknou z A, B záměnou spojek a a nahrazením všech atomických formulí jejich negacemi (se zjednodušením ). Pak platí: 1. = A A 2. pokud = A B, pak = B A 3. pokud = A B, pak = A B příklad konstrukce A : A = (p q) (p r) A = ( p q) ( p r) ověřme, že A je ekvivalentní A: A = ((p q) (p r)) (p q) (p r) ( p q) ( p r) = A 29/??
Formá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í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í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í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í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í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ícePredikátová logika. prvního řádu
Predikátová logika prvního řádu 2 Predikát Predikát je n-ární relace - vyjadřuje vlastnosti objektů a vztahy mezi objekty - z jednoduchého výroku vznikne vypuštěním alespoň jednoho jména objektu (individua)
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á 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í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í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í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í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í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í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íceSémantika predikátové logiky
Sémantika predikátové logiky pro analýzu sémantiky potřebujeme nejprve specifikaci jazyka (doména, konstanty, funkční a predikátové symboly) příklad: formální jazyk s jediným binárním predikátovým symbolem
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í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í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í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í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í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íceLogika. Akademie managementu a komunikace, Praha PhDr. Peter Jan Kosmály, PhD.
Akademie managementu a komunikace, Praha PhDr. Peter Jan Kosmály, PhD. Tematické okruhy: 1. Stručné dějiny logiky a její postavění ve vědě 2. Analýza složených výroků pomocí pravdivostní tabulky 3. Subjekt-predikátová
VíceOkruh č.3: Sémantický výklad predikátové logiky
Okruh č.3: Sémantický výklad predikátové logiky Predikátová logika 1.řádu formalizuje úsudky o vlastnostech předmětů a vztazích mezi předměty pevně dané předmětné oblasti (univerza). Nebudeme se zabývat
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í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í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í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í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í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íce4.2 Syntaxe predikátové logiky
36 [070507-1501 ] 4.2 Syntaxe predikátové logiky V tomto oddíle zavedeme syntaxi predikátové logiky, tj. uvedeme pravidla, podle nichž se tvoří syntakticky správné formule predikátové logiky. Význam a
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í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í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í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ícePredikátová logika. Teoretická informatika Tomáš Foltýnek
Predikátová logika Teoretická informatika Tomáš Foltýnek foltynek@pef.mendelu.cz strana 2 Opakování z minulé přednášky Z čeho se skládá jazyk výrokové logiky? Jaká jsou schémata pro axiomy VL? Formulujte
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íceÚvod do TI - logika Predikátová logika 1.řádu (4.přednáška) Marie Duží marie.duzi@vsb.cz
Úvod do TI - logika Predikátová logika 1.řádu (4.přednáška) Marie Duží marie.duzi@vsb.cz Jednoduché úsudky, kde VL nestačí Všechny opice mají rády banány Judy je opice Judy má ráda banány Z hlediska VL
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íceÚvod do TI - logika Výroková logika - pokračování (3.přednáška) Marie Duží
Úvod do TI - logika Výroková logika - pokračování (3.přednáška) Marie Duží marie.duzi@vsb.cz Normální formy formulí výrokové logiky Každé formuli výrokové logiky přísluší právě jedna pravdivostní funkce,
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í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íceplatné nejsou Sokrates je smrtelný. (r) 1/??
Predikátová logika plně přejímá výsledky výrokové logiky zabývá se navíc strukturou jednotlivých jednoduchých výroků na základě této analýzy lze odvodit platnost některých výroků, které ve výrokové logice
VíceMarie Duží
Marie Duží marie.duzi@vsb.cz Normální formy formulí výrokové logiky Každé formuli výrokové logiky přísluší právě jedna pravdivostní funkce, zobrazení {p, q, r } {0, 1} (pravdivostní tabulka). Naopak však
Vícepostaveny výhradně na syntaktické bázi: jazyk logiky neinterpretujeme, provádíme s ním pouze syntaktické manipulace důkazy
Formální systémy (výrokové) logiky postaveny výhradně na syntaktické bázi: jazyk logiky neinterpretujeme, provádíme s ním pouze syntaktické manipulace důkazy cíl: získat formální teorii jako souhrn dokazatelných
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íceMatematická logika. Miroslav Kolařík
Matematická logika přednáška šestá 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í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í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í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íceRejstřík. anotace 167 krok 167 nepřímý 169 podmiňovaný 181 rezolucí 210 rozborem případů 170 sporem 170 z hypotéz 167 z předpokladů 167 Duns Scotus 79
Rejstřík Rejstřík A antecedent 27 Aristotelés 13 axiom 163 nezávislá množina 164 axiomatické systémy 163 axiom distributivity 222 axiomová schémata 164 B Beth 197 bezesporný 171 Bolzano 14 booleovské funktory
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íceObsah Předmluva Rekapitulace základních pojmů logiky a výrokové logiky Uvedení do predikátové logiky...17
Obsah Předmluva...3 0. Rekapitulace základních pojmů logiky a výrokové logiky...11 0.1 Logika jako věda o vyplývání... 11 1. Uvedení do predikátové logiky...17 1.1 Základní terminologie... 17 1.2 Základní
VíceLogika. 6. Axiomatický systém výrokové logiky
Logika 6. Axiomatický systém výrokové logiky 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íceMatematická logika. Lekce 1: Motivace a seznámení s klasickou výrokovou logikou. Petr Cintula. Ústav informatiky Akademie věd České republiky
Matematická logika Lekce 1: Motivace a seznámení s klasickou výrokovou logikou Petr Cintula Ústav informatiky Akademie věd České republiky www.cs.cas.cz/cintula/mal Petr Cintula (ÚI AV ČR) Matematická
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íceVýroková a predikátová logika - VII
Výroková a predikátová logika - VII Petr Gregor KTIML MFF UK ZS 2018/2019 Petr Gregor (KTIML MFF UK) Výroková a predikátová logika - VII ZS 2018/2019 1 / 15 Platnost (pravdivost) Platnost ve struktuře
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í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í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í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í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í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íceÚvod do logiky (VL): 12. Ověřování platnosti úsudků metodou protipříkladu
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): 12. Ověřování platnosti úsudků metodou protipříkladu
Více6. Logika a logické systémy. Základy logiky. Lucie Koloušková, Václav Matoušek / KIV. Umělá inteligence a rozpoznávání, LS
Základy logiky Umělá inteligence a rozpoznávání, LS 2012 6-1 Logika je naukou, která se zabývá studiem lidského uvažování. Mezi základní úlohy logiky patří nalézání metod správného usuzování, tedy postupů,
VícePojem binární relace patří mezi nejzákladnější matematické pojmy. Binární relace
RELACE Pojem binární relace patří mezi nejzákladnější matematické pojmy. Binární relace slouží k vyjádření vztahů mezi prvky nějakých množin. Vztahy mohou být různé povahy. Patří sem vztah býti potomkem,
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íceLogika. 1. Úvod, Výroková logika
Logika 1. Úvod, 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,
VíceRezoluční kalkulus pro výrokovou logiku
AD4M33AU Automatické uvažování Rezoluční kalkulus pro výrokovou logiku Petr Pudlák Výroková logika Výhody Jednoduchý jazyk. Rozhodnutelnost dokazatelnosti i nedokazatelnosti. Rychlejší algoritmy. Nevýhody
VíceMatematická logika. 1
Matematická logika. 1 Obsah 1. Úvod... 2 2. Výroková logika... 8 2.1. Sémantický výklad výrokové logiky.... 8 Převod z přirozeného jazyka do symbolického jazyka výrokové logiky:... 10 Výrokově logická
VíceÚvod do logiky (PL): sémantika predikátové 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 (PL): sémantika predikátové logiky doc. PhDr. Jiří
VíceÚvod do výrokové a predikátové logiky
Úvod do výrokové a predikátové logiky Eva Ondráčková Na této přednášce se seznámíte se základy výrokové a predikátové logiky. Zjistíte, že podstatou logiky není vyplňování pravdivostních tabulek ani negování
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íceVýroková logika dokazatelnost
Výroková logika dokazatelnost Ke zjištění, zda formule sémanticky plyne z dané teorie (množiny formulí), máme k dispozici tabulkovou metodu. Velikost tabulky však roste exponenciálně vzhledem k počtu výrokových
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 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íce1 Pravdivost formulí v interpretaci a daném ohodnocení
1 Pravdivost formulí v interpretaci a daném ohodnocení Než uvedeme konkrétní příklady, zopakujme si definici interpretace, ohodnocení a pravdivosti. Necht L je nějaký jazyk. Interpretaci U, jazyka L tvoří
Více1 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í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 / 20 Predikátová logika Motivace Výroková
VíceVýroková a predikátová logika - VI
Výroková a predikátová logika - VI Petr Gregor KTIML MFF UK ZS 2017/2018 Petr Gregor (KTIML MFF UK) Výroková a predikátová logika - VI ZS 2017/2018 1 / 24 Predikátová logika Úvod Predikátová logika Zabývá
VíceLogika Libor Barto. Výroková logika
Logika Libor Barto Výroková logika Definice.(Jazyk výrokové logiky) Ve výrokové logice používáme tyto symboly: (1) Výrokové proměnné: velká písmena, případně opatřená indexy. (2) Výrokovéspojky:,,&,,,....
VíceÚvod do logiky (VL): 11. Ověřování, zda je formule tautologií metodou protipříkladu
Jiří Raclavský (214): Úvod do logiky: klasická výroková logika Logika: systémový rámec rozvoje oboru v ČR a koncepce logických propedeutik pro mezioborová studia (reg. č. CZ.1.7/2.2./28.216, OPVK) Úvod
VíceLogické programy Deklarativní interpretace
Logické programy Deklarativní interpretace Petr Štěpánek S využitím materialu Krysztofa R. Apta 2006 Logické programování 7 1 Algebry. (Interpretace termů) Algebra J pro jazyk termů L obsahuje Neprázdnou
VíceVýroková a predikátová logika - V
Výroková a predikátová logika - V Petr Gregor KTIML MFF UK ZS 2015/2016 Petr Gregor (KTIML MFF UK) Výroková a predikátová logika - V ZS 2015/2016 1 / 21 Dokazovací systémy VL Hilbertovský kalkul Hilbertovský
VíceInteligentní systémy (TIL) Marie Duží
Inteligentní systémy (TIL) Marie Duží http://www.cs.vsb.cz/duzi/ /d Přednáška 3 Sémantické schéma Výraz vyjadřuje označuje Význam (konstrukce konstrukce) k ) konstruuje denotát Ontologie TIL: rozvětvená
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 Splnitelnost množin Definice Množina
VícePredikátová logika [Predicate logic]
Predikátová logika [Predicate logic] Přesněji predikátová logika prvého řádu. Formalizuje výroky o vlastnostech předmětů (entit) a vztazích mezi předměty, které patří do dané předmětné oblasti univerza.
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 / 18 Příklad Necht L je jazyk obsahující
VíceVýroková a predikátová logika - III
Výroková a predikátová logika - III Petr Gregor KTIML MFF UK ZS 2017/2018 Petr Gregor (KTIML MFF UK) Výroková a predikátová logika - III ZS 2017/2018 1 / 16 2-SAT 2-SAT Výrok je v k-cnf, je-li v CNF a
VíceVýroková a predikátová logika - IX
Výroková a predikátová logika - IX Petr Gregor KTIML MFF UK ZS 2013/2014 Petr Gregor (KTIML MFF UK) Výroková a predikátová logika - IX ZS 2013/2014 1 / 15 Korektnost a úplnost Důsledky Vlastnosti teorií
Více2. LOGICKÉ OBVODY. Kombinační logické obvody
Hardware počítačů Doc.Ing. Vlastimil Jáneš, CSc, K620, FD ČVUT E-mail: janes@fd.cvut.cz Informace a materiály ke stažení na WWW: http://www.fd.cvut.cz/personal/janes/hwpocitacu/hw.html 2. LOGICKÉ OBVODY
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í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í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í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í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íceMarie Duží
Marie Duží marie.duzi@vsb.cz Učební texty: http://www.cs.vsb.cz/duzi Tabulka Courses, odkaz Mathematical Učební texty, Presentace přednášek kursu Matematická logika, Příklady na cvičení + doplňkové texty.
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ář 1 Cílem tohoto semináře je efektivní uvedení
VícePřednáška 3: rozhodování o platnosti úsudku
Přednáška 3: rozhodování o platnosti úsudku Marie Duží marie.duzi@vsb.cz 1 Úvod do teoretické informatiky Úsudky Úsudek je platný, jestliže nutně, za všech okolností, tj. při všech interpretacích, ve kterých
VíceVýroková a predikátová logika - VII
Výroková a predikátová logika - VII Petr Gregor KTIML MFF UK ZS 2013/2014 Petr Gregor (KTIML MFF UK) Výroková a predikátová logika - VII ZS 2013/2014 1 / 21 Sémantika PL Teorie Vlastnosti teorií Teorie
Více