Výroková a predikátová logika - II

Podobné dokumenty
Výroková a predikátová logika - II

Výroková a predikátová logika - II

Výroková a predikátová logika - VI

Výroková a predikátová logika - VII

Výroková a predikátová logika - VII

Výroková a predikátová logika - III

Výroková a predikátová logika - III

Výroková a predikátová logika - IV

Výroková a predikátová logika - V

Matematická logika. Rostislav Horčík. horcik

Výroková logika - opakování

Sémantika výrokové logiky. Alena Gollová Výroková logika 1/23

Základy logiky a teorie množin

4.2 Syntaxe predikátové logiky

Výroková a predikátová logika - I

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

Výroková a predikátová logika - X

Výroková a predikátová logika - IX

Výroková a predikátová logika - IX

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

Uná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

Matematická logika. Rostislav Horčík. horcik

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

teorie logických spojek chápaných jako pravdivostní funkce

Výroková a predikátová logika - IX

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

Výroková a predikátová logika - VIII

Výroková a predikátová logika - VIII

Výroková a predikátová logika - XII

Logika Libor Barto. Výroková logika

Predikátová logika. Teoretická informatika Tomáš Foltýnek

Matematická logika. Miroslav Kolařík

Výroková a predikátová logika Výpisky z cvičení Martina Piláta

Predikátová logika. prvního řádu

Výroková logika syntaxe a sémantika

2.2 Sémantika predikátové logiky

Rezoluční kalkulus pro výrokovou logiku

Výroková a predikátová logika - XI

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

Matematická analýza 1

Okruh č.3: Sémantický výklad predikátové logiky

Matematická logika. Miroslav Kolařík

platné nejsou Sokrates je smrtelný. (r) 1/??

1 Výroková logika 1. 2 Predikátová logika 3. 3 Důkazy matematických vět 4. 4 Doporučená literatura 7

Každé formuli výrokového počtu přiřadíme hodnotu 0, půjde-li o formuli nepravdivou, a hodnotu 1, půjde-li. α neplatí. β je nutná podmínka pro α

(zkráceně jen formule), jestliže vznikla podle následujících pravidel:

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

Výroková a predikátová logika - XIII

Predikátová logika [Predicate logic]

Úvod do informatiky. Miroslav Kolařík

Matematická logika. Rostislav Horčík. horcik

Modely Herbrandovské interpretace

Kapitola Výroky

Výroková a predikátová logika - XII

Jak jsem potkal logiku. Převod formule do (úplného) disjunktivního tvaru. Jan Hora

Místo pojmu výroková formule budeme používat zkráceně jen formule. Při jejich zápisu

Základní pojmy matematické logiky

Sémantika predikátové logiky

Predik atov a logika - pˇredn aˇska () Predik atov a logika - pˇredn aˇska / 16

Úvod do TI - logika Výroková logika - pokračování (3.přednáška) Marie Duží

1 Báze a dimenze vektorového prostoru 1

Logické programy Deklarativní interpretace

Cvičení Aktivita 1. část 2. část 3. část Ústní Celkem Známka

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

Další (neklasické) logiky. Jiří Velebil: AD0B01LGR 2015 Predikátová logika 1/20

Disjunktivní a konjunktivní lní tvar formule. 2.přednáška

Úvod do predikátové logiky. (FLÚ AV ČR) Logika: CZ.1.07/2.2.00/ / 1

Marie Duží

Výroková a predikátová logika - X

Predikátová logika dokončení

Rezoluční kalkulus pro logiku prvního řádu

3.10 Rezoluční metoda ve výrokové logice

Logika. 5. Rezoluční princip. RNDr. Luděk Cienciala, Ph. D.

Úvod do logiky (presentace 2) Naivní teorie množin, relace a funkce

Normální formy. (provizorní text)

Kapitola 1. Úvod. 1.1 Značení. 1.2 Výroky - opakování. N... přirozená čísla (1, 2, 3,...). Q... racionální čísla ( p, kde p Z a q N) R...

Logika II. RNDr. Kateřina Trlifajová PhD. Katedra teoretické informatiky Fakulta informačních technologíı BI-MLO, ZS 2011/12

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

Systém přirozené dedukce výrokové logiky

Přednáška 2: Formalizace v jazyce logiky.

Matematická logika. Rostislav Horčík. horcik

Výroková a predikátová logika - I

Základy matematické logiky

Cvičení z logiky II.

Přijímací zkouška - matematika

přednáška 2 Marie Duží

Abstrakt Text je určen jako doplňkový k přednášce Matematická logika a Paradigmata programování 4.

Úvod do TI - logika Predikátová logika 1.řádu (4.přednáška) Marie Duží marie.duzi@vsb.cz

Negativní informace. Petr Štěpánek. S použitím materiálu M.Gelfonda a V. Lifschitze. Logické programování 15 1

PŘEDNÁŠKA 5 Konjuktivně disjunktivní termy, konečné distributivní svazy

Úvod do výrokové a predikátové logiky

LOGIKA VÝROKOVÁ LOGIKA

6. Logika a logické systémy. Základy logiky. Lucie Koloušková, Václav Matoušek / KIV. Umělá inteligence a rozpoznávání, LS

Matematická logika. Miroslav Kolařík

Výroková logika. Sémantika výrokové logiky

Logika. 6. Axiomatický systém výrokové logiky

Co je to univerzální algebra?

7 Jemný úvod do Logiky

Výroková a predikátová logika - I

Matematická logika. Lekce 1: Motivace a seznámení s klasickou výrokovou logikou. Petr Cintula. Ústav informatiky Akademie věd České republiky

Transkript:

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 Relace arity (četnosti) n N na X je libovolná množina R X n, tedy pro n = 0 je R = = 0 nebo R = { } = 1, pro n = 1 je R X, (Částečná) funkce arity (četnosti) n N z X do Y je libovolná funkce f X n Y. Řekneme, že f je totální na X n, pokud dom(f ) = X n, značíme f : X n Y. Je-li navíc Y = X, je to operace na X. Funkce f : X n Y je konstantní, pokud rng(f ) = {y} pro nějaké y Y, pro n = 0 je f = {(, y)} a f ztotožňujeme s konstantou y. Aritu relace či funkce značíme ar(r) či ar(f ) a mluvíme o nulárních, unárních, binárních, obecně n-árních relacích a funkcích (operacích). Petr Gregor (KTIML MFF UK) Výroková a predikátová logika - II ZS 2017/2018 2 / 17

Stromy otec předci Předběžnosti Stromy kořen úroveň 0 podstrom vrchol x bratr syn potomci větev list úroveň 4 Strom je množina T s částečným uspořádáním < T, ve kterém existuje (jedinečný) nejmenší prvek, zvaný kořen, a množina předků libovolného prvku je dobře uspořádaná, větev stromu T je maximální lineárně uspořádaná podmnožina T, adoptujeme standardní terminologii o stromech z teorie grafů, pak např. větev v konečném stromu je cesta z kořene do listu. Petr Gregor (KTIML MFF UK) Výroková a predikátová logika - II ZS 2017/2018 3 / 17

Předběžnosti Stromy Königovo lemma Budeme pracovat (pro jednoduchost) obvykle s konečně větvícími se stromy, ve kterých má každý vrchol kromě kořene bezprostředního předka (otce). n-tá úroveň stromu T pro n N je daná indukcí, obsahuje syny vrcholů z (n 1)-ní úrovně, 0-tá úroveň obsahuje právě kořen, hloubka stromu T je maximální číslo n N neprázdné úrovně; pokud má T nekonečnou větev, je hloubka nekonečná či ω. strom T je n-ární pro n N, pokud každý vrchol má nejvýše n synů. Je konečně větvící se, má-li každý vrchol konečně mnoho synů. Lemma (König) Každý nekonečný, konečně větvící se strom T obsahuje nekonečnou větev. Důkaz Hledání nekonečné větve začneme v kořeni. Jelikož má jen konečně mnoho synů, existuje syn s nekonečně mnoha potomky. Vybereme ho a stejně pokračujeme v jeho podstromě. Takto získáme nekonečnou větev. Petr Gregor (KTIML MFF UK) Výroková a predikátová logika - II ZS 2017/2018 4 / 17

Předběžnosti Stromy Uspořádané stromy Uspořádaný strom je strom T, s kterým je dáno lineární uspořádání synů každého vrcholu, toto uspořádání se nazývá pravolevé a značí < L. Oproti tomu, uspořádání < T se nazývá stromové. značený strom je strom T s libovolnou funkcí (značící funkce), která každému vrcholu T přiřazuje nějaký objekt (značku). značené uspořádané stromy např. zachycují strukturu formulí (p q) r p q r p q Petr Gregor (KTIML MFF UK) Výroková a predikátová logika - II ZS 2017/2018 5 / 17

Základní syntax Jazyk Výroková logika je logikou spojek. Vycházíme z (neprázdné) množiny P výrokových proměnných (prvovýroků). Např. P = {p, p 1, p 2,..., q, q 1, q 2,... } Obvykle budeme předpokládat, že P je spočetná. Jazyk výrokové logiky (nad P) obsahuje symboly výrokové proměnné z P logické spojky,,,, závorky (, ) Jazyk je tedy určen množinou P. Říkáme, že logické spojky a závorky jsou logické symboly, zatímco výrokové proměnné jsou mimologické symboly. Budeme používat i konstantní symboly (pravda), (spor), jež zavedeme jako zkratky za p p, resp. p p, kde p je pevný prvovýrok z P. Petr Gregor (KTIML MFF UK) Výroková a predikátová logika - II ZS 2017/2018 6 / 17

Základní syntax Formule Výrokové formule (výroky) (nad P) jsou dány induktivním předpisem (i) každá výroková proměnná z P je výrokovou formulí, (ii) jsou-li ϕ, ψ výrokové formule, pak rovněž ( ϕ), (ϕ ψ), (ϕ ψ), (ϕ ψ), (ϕ ψ) jsou výrokové formule, (iii) každá výroková formule vznikne konečným užitím pravidel (i), (ii). Výrokové formule jsou tedy (dobře vytvořené) konečné posloupnosti symbolů jazyka (řetězce). Výrokovou formuli, která je součástí jiné výrokové formule ϕ nazveme podformulí (podvýrokem) ϕ. Množinu všech výrokových formulí nad P značíme VF P. Množinu všech výrokových proměnných s výskytem ve ϕ značíme var(ϕ). Petr Gregor (KTIML MFF UK) Výroková a predikátová logika - II ZS 2017/2018 7 / 17

Základní syntax Konvence zápisu Zavedení (obvyklých) priorit logických spojek umožňuje v zkráceném zápisu vypouštět závorky okolo podvýroku vzniklého spojkou s vyšší prioritou. (1), (2), (3) Rovněž vnější závorky můžeme vynechat. Např. ((( p) q) ( (p ( q)))) lze zkrátit na p q (p q) Poznámka Nerespektováním priorit může vzniknout nejednoznačný zápis nebo dokonce jednoznačný zápis neekvivalentní formule. Další možnosti zjednodušení zápisu vyplývají ze sémantických vlastností spojek (asociativita, ). Petr Gregor (KTIML MFF UK) Výroková a predikátová logika - II ZS 2017/2018 8 / 17

Základní syntax Vytvořující strom Vytvořující strom je konečný uspořádaný strom, jehož vrcholy jsou označeny výroky dle následujících pravidel listy (a jen listy) jsou označeny prvovýroky, je-li vrchol označen ( ϕ), má jediného syna označeného ϕ, je-li vrchol označen (ϕ ψ), (ϕ ψ), (ϕ ψ) nebo (ϕ ψ), má dva syny, přičemž levý syn je označen ϕ a pravý je označen ψ. Vytvořující strom výroku ϕ je vytvořující strom s kořenem označeným ϕ. Tvrzení Každý výrok má jednoznačně určený vytvořující strom. Důkaz Snadno indukcí dle počtu vnoření závorek (odpovídající hloubce vytvořujícího stromu). Poznámka Takovéto důkazy nazýváme důkazy indukcí dle struktury formule. Petr Gregor (KTIML MFF UK) Výroková a predikátová logika - II ZS 2017/2018 9 / 17

Základní sémantika Sémantika Uvažujeme pouze dvouhodnotovou logiku. Prvovýroky reprezentují atomická tvrzení, jejich význam je určen přiřazením pravdivostní hodnoty 0 (nepravda) nebo 1 (pravda). Sémantika logických spojek je dána jejich pravdivostními tabulkami. p q p p q p q p q p q 0 0 1 0 0 1 1 0 1 1 0 1 1 0 1 0 0 0 1 0 0 1 1 0 1 1 1 1 Ty jednoznačně určují hodnotu každého výroku z hodnot prvovýroků. K výrokům tedy můžeme také přiřadit pravdivostní tabulky. Říkáme, že reprezentují Booleovské funkce (až na určení pořadí proměnných). Booleovská funkce je n-ární operace na 2 = {0, 1}. Petr Gregor (KTIML MFF UK) Výroková a predikátová logika - II ZS 2017/2018 10 / 17

Základní sémantika Hodnota výroku Ohodnocení prvovýroků je funkce v : P {0, 1}, tj. v P 2. Hodnota v(ϕ) výroku ϕ při ohodnocení v je dána induktivně v(p) = v(p) jestliže p P v(ϕ ψ) = 1 (v(ϕ), v(ψ)) v(ϕ ψ) = 1 (v(ϕ), v(ψ)) v( ϕ) = 1 (v(ϕ)) v(ϕ ψ) = 1 (v(ϕ), v(ψ)) v(ϕ ψ) = 1 (v(ϕ), v(ψ)) kde 1, 1, 1, 1, 1 jsou Booleovské funkce dané tabulkami. Tvrzení Hodnota výroku ϕ závisí pouze na ohodnocení var(ϕ). Důkaz Snadno indukcí dle struktury formule. Poznámka Jelikož funkce v : VF P 2 je jednoznačnou extenzí funkce v, můžeme psát v místo v aniž by došlo k nedorozumění. Petr Gregor (KTIML MFF UK) Výroková a predikátová logika - II ZS 2017/2018 11 / 17

Základní sémantika Sémantické pojmy Výrok ϕ nad P je splněn (platí) při ohodnocení v P 2, pokud v(ϕ) = 1. Pak v je splňující ohodnocení výroku ϕ, značíme v = ϕ. pravdivý ((logicky) platí, tautologie), pokud v(ϕ) = 1 pro každé v P 2, tj. ϕ je splněn při každém ohodnocení, značíme = ϕ. lživý (sporný), pokud v(ϕ) = 0 pro každé v P 2, tj. ϕ je pravdivý. nezávislý, pokud v 1 (ϕ) = 0 a v 2 (ϕ) = 1 pro nějaká v 1, v 2 P 2, tj. ϕ není ani pravdivý ani lživý. splnitelný, pokud v(ϕ) = 1 pro nějaké v P 2, tj. ϕ není lživý. Výroky ϕ a ψ jsou (logicky) ekvivalentní, psáno ϕ ψ, pokud v(ϕ) = v(ψ) pro každé v P 2, tj. výrok ϕ ψ je pravdivý. Petr Gregor (KTIML MFF UK) Výroková a predikátová logika - II ZS 2017/2018 12 / 17

Základní sémantika Modely Předchozí definice ekvivalentně přeformulujeme v terminologii modelů. Model jazyka nad P je ohodnocení z P 2. Třída všech modelů jazyka nad P se značí M(P), tedy M(P) = P 2. Výrok ϕ nad P (je) platí v modelu v M(P), pokud v(ϕ) = 1. Pak v je model výroku ϕ, značíme v = ϕ a M P (ϕ) = {v M(P) v = ϕ} je třída modelů ϕ. pravdivý ((logicky) platí, tautologie), pokud platí v každém modelu (jazyka), značíme = ϕ. lživý (sporný), pokud nemá model. nezávislý, pokud platí v nějakém modelu a neplatí v jiném. splnitelný, pokud má model. Výroky ϕ a ψ jsou (logicky) ekvivalentní, psáno ϕ ψ, pokud mají stejné modely. Petr Gregor (KTIML MFF UK) Výroková a predikátová logika - II ZS 2017/2018 13 / 17

Normální tvary Univerzálnost spojek Jazyk výrokové logiky obsahuje základní spojky,,,,. Můžeme zavést obecně n-ární spojku pro libovolnou Booleovu funkci. Např. p q ani p ani q (NOR, Peirceova spojka) p q ne (p a q) (NAND, Shefferova spojka) Množina spojek je univerzální, pokud lze každou Booleovskou funkci reprezentovat nějakým z nich (dobře) vytvořeným výrokem. Tvrzení {,, } je univerzální. Důkaz Funkci f : n 2 2 reprezentuje výrok v f 1 [1] n 1 i=0 pv(i) i, kde p v(i) i prvovýrok p i pokud v(i) = 1, jinak výrok p i. Pro f 1 [1] = zvolíme. Tvrzení {, } je univerzální. Důkaz (p q) (p q), (p q) ( p q). je Petr Gregor (KTIML MFF UK) Výroková a predikátová logika - II ZS 2017/2018 14 / 17

Normální tvary CNF a DNF Literál je prvovýrok nebo jeho negace. Je-li p prvovýrok, označme p 0 literál p a p 1 literál p. Je-li l literál, označme l literál opačný k l. Klauzule je disjunkce literálů, prázdnou klauzulí rozumíme. Výrok je v konjunktivně normálním tvaru (CNF), je-li konjunkcí klauzulí. Prázdným výrokem v CNF rozumíme. Elementární konjunkce je konjunkce literálů, prázdnou konjunkcí je. Výrok je v disjunktivně normálním tvaru (DNF), je-li disjunkcí elementárních konjunkcí. Prázdným výrokem v DNF rozumíme. Poznámka Klauzule nebo elementární konjunkce je zároveň v CNF i DNF. Pozorování Výrok v CNF je pravdivý, právě když každá jeho klauzule obsahuje dvojici opačných literálů. Výrok v DNF je splnitelný, právě když aspoň jedna jeho elementární konjunkce neobsahuje dvojici opačných literálů. Petr Gregor (KTIML MFF UK) Výroková a predikátová logika - II ZS 2017/2018 15 / 17

Normální tvary Převod tabulkou Tvrzení Necht K P 2 pro P konečné. Označme K = P 2 \ K. Pak M P( p v(p)) = K = M P( ) p v(p) v K p P v K p P Důkaz První rovnost plyne z w( p P pv(p) ) = 1 právě když w = v, kde w P 2. Druhá obdobně z w( p P pv(p) ) = 1 právě když w v. Např. K = {(1, 0, 0), (1, 1, 0), (0, 1, 0), (1, 1, 1)} namodelujeme (p q r) (p q r) ( p q r) (p q r) (p q r) (p q r) (p q r) ( p q r) Důsledek Každý výrok je ekvivalentní nějakému výroku v CNF/DNF. Důkaz Hodnota výroku ϕ závisí pouze na ohodnocení jeho proměnných, kterých je konečně. Lze tedy použít tvrzení pro K = M P (ϕ) a P = var(ϕ). Petr Gregor (KTIML MFF UK) Výroková a predikátová logika - II ZS 2017/2018 16 / 17

Normální tvary Převod úpravami Tvrzení Necht ϕ je výrok vzniklý z výroku ϕ nahrazením některých výskytů podvýroku ψ za výrok ψ. Jestliže ψ ψ, pak ϕ ϕ. Důkaz Snadno indukcí dle struktury formule. (1) (ϕ ψ) ( ϕ ψ), (ϕ ψ) (( ϕ ψ) ( ψ ϕ)) (2) ϕ ϕ, (ϕ ψ) ( ϕ ψ), (ϕ ψ) ( ϕ ψ) (3) (ϕ (ψ χ)) ((ψ χ) ϕ) ((ϕ ψ) (ϕ χ)) (3) (ϕ (ψ χ)) ((ψ χ) ϕ) ((ϕ ψ) (ϕ χ)) Tvrzení Každý výrok lze pomocí (1), (2), (3)/(3) převést na CNF / DNF. Důkaz Snadno indukcí dle struktury formule. Tvrzení Necht výrok ϕ obsahuje pouze spojky,,. Pak pro výrok ϕ vzniklý z ϕ záměnou a a znegováním všech literálů platí ϕ ϕ. Důkaz Snadno indukcí dle struktury formule. Petr Gregor (KTIML MFF UK) Výroková a predikátová logika - II ZS 2017/2018 17 / 17