Transparentní intenzionální logika (TIL)

Rozměr: px
Začít zobrazení ze stránky:

Download "Transparentní intenzionální logika (TIL)"

Transkript

1 Marek Rychlý Ústav informačních systémů, Fakulta informačních technologií, Vysoké učení technické v Brně, Božetěchova 2, Brno , Czech Republic rychly@fit.vutbr.cz Abstrakt Transparentní intenzionální logika představuje ve filozofické logice moderní a jednoduché pojetí intenzionální logiky. Tato seminární práce pojednává o extenzionální a intenzionální logice, neformální konstrukci transparentní intenzionální logiky a o jejím uplatnění v softwarovém inženýrství. Klíčová slova: filozofická logika, modální logika, teorie možných světů, extenzionální model, lambda-kategoriální gramatika, transparentní intenzionální logika Obsah 1. Úvod Modální logika Kripkeho teorie možných světů Základní extenzionální model a predikátová logika Lambda-kategoriální gramatika Transparentní intenzionální logika (TIL) Příklad Využití transparentní intenzionální logiky v SW inženýrství Závěr... 7 Bibliografie Úvod Ve vědě je pod obecným pojmem logika zařazeno několik navzájem odlišných a přesto úzce spjatých a prolínajících se vědních disciplín, mezi které patří např. původní sylogistická logika (tj. původní Aristotelovská logika), predikátová logika (dnes známá jako logika 1. a 2. řádu), modální logika (v současné době velmi populární v teoretické informatice) nebo obecná matematická logika (formální aplikace logiky na matematické problémy). Specifickou větev logiky pak tvoří filozofická logika, která navazuje na původní nematematické pojetí logiky ve filozofii, jako prostředku pro porozumění systému reálného světa. 1

2 Filozofická logika je zaměřena na formální aplikaci logiky na filozofické problémy, zejména s využitím prostředků formální logické analýzy přirozeného jazyka. Cílem filozofické logiky je porozumění hlubší sémantice tvrzení formulovaných pomocí přirozeného jazyka. Formální vyjádření sémantiky tvrzení pak umožní překlad přirozeného jazyka do formální logiky, kde mohou být uplatněny klasické logické operace (významnou roli hraje zejména důsledek ). Tato práce se bude zabývat transparentní intenzionální logikou, stěžejním dílem významného českého filozofa a logika prof. Pavla Tichého. Transparentní intenzionální logika patří mezi filozofické logiky a zasahuje také významně do modálních logik. V posledních letech má transparentní intenzionální logika velký význam v informatice, konkrétně v oblasti konceptuálního modelování v softwarovém inženýrství, kde je využívána pro formálně korektní transformaci uživatelských požadavků na datový model informačního systému. V následujících kapitolách budou nejprve zavedeny základní pojmy a teorie filozofické a modální logiky, nezbytné pro konstrukci transparentní intenzionální logiky, která bude poté stručně představena s důrazem na její využití v softwarovém inženýrství. 2. Modální logika Modální logika zavádí do formální logiky prostředky pro vyjádření pravděpodobnostních atributů logických tvrzení (tzv. modalit). Patří sem vyjádření (ne)možnosti a nutnosti platnosti tvrzení. Tyto pravděpodobnostní atributy tedy vyjadřují diskrétní pravděpodobnost s jakou nastane platnost tvrzení. Základní modální logika zavádí společně s klasickými logickými symboly také dva modální operátory 1 (tzv. denotáty): F φ = někdy platí tvrzení φ (denotát možná ) G φ = vždy platí tvrzení φ (denotát nutně ) Existuje mnoho modifikací či rozšíření modální logiky, např. tempolární logiky (zkoumající časové závislosti modalit), deontologické logiky (zkoumající druhy modalit) s v neposlední řadě intenzionální logiky, zmiňované v této práci Kripkeho teorie možných světů [1] Definujme možný svět jako maximální konsistentní (bezrozporný) soubor faktů, které mohou platit. Pak aktuální svět je jeden z možných světů (množina všech platících faktů). Jako logický prostor se zde označuje soubor všech možných světů. Kripke přistupuje k sémantice modální logiky pomocí teorie modelů, kde model představuje trojice (G, K, R), kde: K je množina možných světů, G je prvek z K představující aktuální (reálný) svět, R je relace na množině K, tzv. relace dostupnosti jednoho světa z druhého. 1 Přitom z definice platí rovnost G φ = (F φ). 2

3 Pro Kripkeho je možný svět něco, co umožňuje odlišovat pravdivé věty od nepravdivých. Ve filozofické logice je tedy význam věty charakteristická funkce z K do množiny pravdivostních hodnot (sémantika je závislá na aktuálním světě). Kripkeho sémantika založená na teorii možných světů rozšiřuje význam modální logiky (upřesňuje sémantiku denotátů) i intenztionální logiky, kde z ní vychází prof. Tichý při specifikaci epistémické báze (viz dále). 3. Základní extenzionální model a predikátová logika [2] Zavedeme syntax a sémantiku prvků základního extensionálního modelu. V rámci modelu definujeme následující kategorie (množiny): jména (J) neomezený počet jednoduchých jmen, predikáty (P) neomezený počet jednoduchých predikátů, unární výrokové operátory (O1) jediný jednoduchý výraz, a sice, binární výrokové operátory (O2) tři jednoduché výrazy (výrokové spojky), a sice, a, kvantifikátory (Q) dva jednoduché výrazy, a sice Σ a Π, výroky (V) pouze složené výrazy (žádné jednoduché výrazy): je-li P predikát a J jméno, je P(J) výrok, je-li Q kvantifikátor a P predikát, je Q(P) výrok, je-li O unární výrokový operátor a V výrok, je O V výrok, je-li O binární výrokový operátor a V, W výroky, je V O W výrok, pomocné symboly a závorky. Pokud U je množina individuí (tzv. universum diskursu) a B je množina pravdivostních hodnot, pak významy jednotlivých výrazů definujeme následovně: významem jména je prvek daného univerza U, významem predikátu je funkce z U do B (tj. prvek množiny [U B], tzv. klasifikátorů individuí), významem unárního výrokového operátoru je funkce z B do B (tj. prvek množiny [B B]), konkrétně významem operátoru je ta funkce, která je dána pravdivostní tabulkou negace, významem binárního výrokového operátoru je funkce z B B do B (tj. prvek množiny [B B B]), konkrétně významem operátorů,, jsou funkce dány příslušnými pravdivostními tabulkami, významem kvantifikátoru je funkce z [U B] do B (tj. prvek množiny [[U B] B], tzv. klasifikátorů klasifikátorů individuí), konkrétně: významem kvantifikátoru Π je funkce, která přiřazuje pravdivou hodnotu z B pouze plnému klasifikátoru (tj. klasifikátoru, který pro všechny prvky univerza vrací pravdivou hodnotu), významem Σ je ta funkce, která přiřazuje pravdivou hodnotu pouze neprázdnému klasifikátoru (tj. klasifikátoru, který pro nějaký prvek univerza vrací pravdivou hodnotu), 3

4 významem výroku je pravdivostní hodnota, tedy prvek B, konkrétně pokud P značí význam výroku P, pak: je-li P predikát a J jméno, pak P(J) = P ( J ), je-li Q kvantifikátor a P predikát, pak Q(P) = Q ( P ), je-li O unární výrokový operátor a V výrok, pak O V = O ( V ), je-li O binární výrokový operátor a V, W výroky, pak V O W = O ( V, W ). Pro vyjádření základního extensionálního modelu v predikátové logice prvního řádu zavedeme dále proměnné následující modifikací definice kategorie jmen a sémantiky kvantifikátoru: jména (J) neomezený počet jednoduchých jmen a neomezený počet proměnných, je-li Q kvantifikátor, x proměnná a V výrok, je Qx.V výrok s významem Qx.V = Q ( V x ), kde V x značí klasifikátor individuí splňujících výrok V po dosazení za x. Pak klasifikátory Π a Σ mají význam klasifikátorů a predikátové logiky. Například pokud predikát prezident(x) je pravdivý pokud x je prezidentem a dramatik(x) pokud x je dramatikem, pak (z [2], str. 16): 1. Πx.prezident(x) je v univerzu osob v současném reálném světě nepravdivé, 2. Σx.prezident(x) dramatik(x) je v univerzu osob v reálném světě k 1. lednu 2000 pravdivé. 4. Lambda-kategoriální gramatika [2] Zavedeme syntax a sémantiku lambda-abstrakce, která nám umožní vytvářet z výrazů funkce: jestliže p P a x Q, pak (λx.p) je prvek množiny P/Q, jestliže navíc q Q, pak (λx.p)(q) = p[x q], kde p[x q] značí substituci q za x v p. Gramatickou kategorii definujeme indukcí z kategorie (K) představené v předchozí kapitole následujícím způsobem: 1. je-li k K, pak k je gramatickou kategorií, 2. jsou A, B gramatickými kategoriemi, je gramatickou kategorií i B/A. Definujeme gramatická pravidla, která umožní sestavovat z kategorií složené výrazy: je-li b výraz gram. kat. B/A, a výraz gram. kat. A, pak b(a) je výraz gram. kat. B, je-li b výraz gram. kat. B, a výraz gram. kat. A, x prom. gram. kat. A, pak λx.b[a x], kde b[a x] značí substituci x za a v b, je výraz gram. kat. B/A. Zavedeme doménu D K kategorie K, jako množinu významů prvků z K tak, že pokud k K, pak k D K. Doména kategorie B/A je [D A D B ]. Význam složených výrazů je definován následujícím způsobem: B(A) = B ( A ), λx.b[a x] je funkce f z D A do D B, která pro d D A je f(d)= b a =d. Příklad: (λx.spisovatel(x))(eco) = spisovatel(eco) 4

5 5. Transparentní intenzionální logika (TIL) Intenzionální logika je kombinace lambda-kategoriální gramatiky s kripkovskou možnosvětovou sémantikou [2]. Obecná intenzionální logika zavádí dva základní pojmy: extenze (intenze 0. řádu) funkce z možných světů do kategorie (pravdivostních hodnot, individuí, klasifikátorů individuí atd.), intenze k. řádu (pro k>0 prostě intenze ) je-li T intezne k. řádu, pak funkce z možných světů do T je intezne (k+1). řádu. Extensionální logika pracuje pouze s inteznemi 0. řádu (dále jen extenzemi ). Zavedení intenzí nenulových řádů (dále jen intenzí ) umožňuje pracovat s možnými světy. Např. tvrzení teplota je 30 stupňů Celsia a stoupá nelze v extenzionální logice analyzovat jako (teplota=30) stoupá(teplota), protože z toho lze dokázat stoupá(30), což není význam tvrzení zde tedy potřebujeme vyjádřit vztah aktuálního světa (teplota=30) se světem v relaci dostupnosti (viz 2.1). Montague zavádí rozšířenou gramatiku (tzv. Montaguova intenzionální logika) s motivem minimálního rozšíření extensionální sémantiky o intenze (kde to nejde, vzít do hry intenze). Definuje unární operátor ^ pro zvýšení řádu intenze a k němu inverzní operátor ~ pro snížení řádu intenze: extenze ^E = intenze E, intenze ~E = extenze E, ^~E = ~^E = E. Tím je umožněno posunutí inteze do role extenze a následné uplatnění postupů klasické extenzionální sémantiky. Operátory je definovány pomocí lambda-abstrakce operátor ^ konstruuje funkci možných světů a extenze vzniklá pomocí operátoru ~ je pak považovaná za danou tím, že původní intenze platí pro všechny možné světy: ^A (w)= A, ~A (w) je ta funkce f, že pro každé v W platí f(v)= A (w)(v). Transparentní intenzionální logika (TIL), jejímž autorem je prof. Tichý, rozšiřuje Montaguovu intenzionální logiku, přestože oba přístupy vznikly nezávisle Montague publikoval svou práci v roce 1970 a Tichý v roce Přestože originalita byla díky dřívější publikaci přiznána spíše Montaguově práci, pojetí intenzionální logiky podle prof. Tichého se ukázalo vhodnější [3]. Zatímco Montague upravoval extenzionální model tak, aby do syntaxe a sémantiky zanesl možné světy (úprava pravidel), Tichý prohlásil množinu možný světů za gramatickou kategorii. Tím bylo rozšíření extenzionální logiky na intenzionální tzv. transparentní. Tato logika bývá označována také jako globálně intenzionální logika Příklad Mějme extenzi predikátu spát, extenzi predikátu hlavakatcirkve, jméno papež a jeho extenzi. Aplikaci extenze P na aktuálním světě w budeme označovat jako P w. 1. Větu papež spí analyzujeme v TIL jako λw.spát w (papež w ). 5

6 2. Větu Papež je hlavou katolické církve analyzujeme v TIL jako λw.hlavakatcirkve w (papež). V prvním případě věta vypovídala o úřadu a jeho obsazení závisí na možném světě (proto je zde papež extenze jména), v druhém případě je reč o tom, kdo úřad zastává (proto je zde Papež pouze jméno, tj. individuum). Další příklady viz [2] strana Využití transparentní intenzionální logiky v SW inženýrství Tichý uvádí, že aktuální svět nelze nikdy poznat, protože je to nespočetná množina platných faktů. Argumentuje tvrzením, že pokud by se jednalo o spočetnou množinu, byla by dána výčtem svých prvků, což by vyžadovalo vědět všechna platná fakta a to není možné. Toto je zásadní problém SW inženýrství, které se snaží zachytit v informačním systému model určité oblasti aktuálního světa. Aktuální svět sice nelze logicky vypočítat, ale lze ho empiricky zjišťovat pomocí platných poznatků. Poznatky sdělujeme oznamovacími větami, tzv. propozicemi, kde každá propozice vyčleňuje v množině možných světů podmnožinu, ve kterých je ona pravdivá. Propozice pravdivé v daném časovém okamžiku vyčleňují tedy podmnožinu možných světů, která zaručeně obsahuje aktuální svět. Mějme čtveřici (B, T, U, W), tzv. epistémickou bázi, kde B je množina pravdivostních hodnot, T množina časových okamžiků (používají se také jako reálná čísla), U množina individuí a W množina možných světů (tzv. logický prostor, který je dán a priori). Typ nad epistémickou bází je objekt určený prvky epistémické báze. Pak objekt P je: extenze (intenze 0. řádu) pokud neexistuje Q nad epistémickou bází tak, že P=(W T) Q, intezne k. řádu (pro k>0) je-li Q intezne (k-1). řádu a P=(W T) Q. Pro objekty nad epistémickou bází platí: 1. třídy individuí = (U B)-objekty = extenze, 2. vlastnosti individuí = ((W T U) B)-objekty = intenze, 3. propozice = ((W T) B)-objekty = intenze, 4. individuové úřady = ((W T) U)-objekty = intenze, 5. veličiny = ((W T) T)-objekty = intenze, 6. třídy vlastností = (((W T U) B) B)-objekty = extenze. Příklady z praxe: 1. třídy individuí: lidé, zaměstnanci, produkty, faktury atd. 2, 2. vlastnosti individuí: být zaměstnancem, být oprávněným uživatelem, být proplacenou fakturou, 3. propozice: uživatel (Jan Novák) vystavil k datu ( ) fakturu (1274/2006), 4. individuové úřady = jednatel dané společnosti, 5. veličiny = mzda daného zaměstnance za daný měsíc, 2 Jen pokud individua nemění svoje zařazení, tj. nejsou zařazeny vlastnostmi individuí. 6

7 6. třídy vlastností = položky tvořící adresu zaměstnance. Při vyjádření specifikace informačního systému (konceptuální modelování) pomocí analýzy v TIL lze převést sémantiku na formule intenzionální logiky. S těmi pak lze provádět různé operace při zachování sémantické korektnosti. Podrobněji viz [4]. 7. Závěr Transparentní intenzionální logika patří mezi nejvýznamnější teorie moderní filozofické logiky. Své uplatnění nalezne především v místech, kde je třeba analyzovat sémantiku tvrzení přirozeného jazyka se závislostí na možných světech (extenzionální logika je zde slabá). Jednou z takový oblastí je konceptuální modelování (datové modelování, část SW inženýrství) v podobě datového modelu HIT [4]. Tato seminární práce stručně představila filozofickou logiku teorii možných světů, extenzionální a původní intenzionální logiku a Tichého transparentní intenzionální logiku. Transparentní intenzionální logika byla z didaktických důvodů představena jako rozšíření Montaguovy intenzionální logiky (autor se snažil nezacházet do problematiky objektuální sémantiky, kterou představil Gottlob Frege a ze které původně vychází prof. Tichý [3]). Je třeba upozornit, že tato práce prezentuje neformálně pouze vybranou část filozofické logiky (z prostorových důvodů nebyly mimo jiné formálně zavedeny definice některých pojmů, které se v této práci vyskytují) a zásadně nepokrývá celou problematiku transparentní intenzionální logiky, ale pouze nastiňuje její myšlenku. Podrobnější úvod do transparentní intenzionální logiky lze nalézt například v [3]. Bibliografie 1. Jiří Raclavský. Předmět Filosofická logika. Studijní materiály. Masarykova univerzita v Brně, Filozofická fakulta. Brno. URL [ Jaroslav Peregrin. Úvod do teoretické sémantiky. Komplet studijních materiálů (rozšířený sylabus). Univerzita Karlova v Praze, Filozofická fakulta. Praha. URL [ Andrew Holster. An Introduction to Pavel Tichy and Transparent Intensional Logic. URL [ to Pavel Tichy and Transparent Intensional Logic.doc] Marie Duží. Konceptuální modelování - datový model HIT. Filozoficko-přírodovědecká fakulta, Slezská universita Opava. Opava

Matematická logika. Miroslav Kolařík

Matematická 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íce

4.2 Syntaxe predikátové logiky

4.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íce

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

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

Inteligentní systémy (TIL) Marie Duží

Inteligentní 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í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 Ú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íce

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

Okruh č.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íce

Matematická logika. Rostislav Horčík. horcik

Matematická 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íce

ZÁKLADY LOGIKY A METODOLOGIE

ZÁ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íce

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

Úvod do predikátové logiky. (FLÚ AV ČR) Logika: CZ.1.07/2.2.00/ / 1 Úvod do predikátové logiky (FLÚ AV ČR) Logika: CZ.1.07/2.2.00/28.0216 2013 1 / 1 Relace Neuspořádaná vs. uspořádaná dvojice {m, n} je neuspořádaná dvojice. m, n je uspořádaná dvojice. (FLÚ AV ČR) Logika:

Více

Logika a jazyk. filosofický slovník, Praha:Svoboda 1966)

Logika a jazyk. filosofický slovník, Praha:Svoboda 1966) Logika a jazyk V úvodu bylo řečeno, že logika je věda o správnosti (lidského) usuzování. A protože veškeré usuzování, odvozování a myšlení vůbec se odehrává v jazyce, je problematika jazyka a jeho analýza

Více

Logický důsledek. Petr Kuchyňka (7765@mail.muni.cz)

Logický důsledek. Petr Kuchyňka (7765@mail.muni.cz) Logický důsledek Petr Kuchyňka (7765@mail.muni.cz) Úvod P 1 Logický důsledek je hlavním předmětem zájmu logiky. Je to relace mezi premisami a závěry logicky platných úsudků: v logicky platném úsudku závěr

Více

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

Vý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

2.2 Sémantika predikátové logiky

2.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íce

Matematická 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 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íce

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

Prediká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íce

Sémantika predikátové logiky

Sé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íce

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

Vý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íce

Obsah Předmluva Rekapitulace základních pojmů logiky a výrokové logiky Uvedení do predikátové logiky...17

Obsah 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íce

KMA/MDS Matematické důkazy a jejich struktura

KMA/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ář 3 Predikátový počet Uvažujme následující úsudek.

Více

Logika pro sémantický web

Logika pro sémantický web ZVYŠOVÁNÍ ODBORNÝCH KOMPETENCÍ AKADEMICKÝCH PRACOVNÍKŮ OSTRAVSKÉ UNIVERZITY V OSTRAVĚ A SLEZSKÉ UNIVERZITY V OPAVĚ Logika pro sémantický web Martin Žáček PROČ BALÍČEK? 1. balíček Formální logické systémy

Více

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

platné 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íce

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

Výroková a predikátová logika - IX Výroková a predikátová logika - IX Petr Gregor KTIML MFF UK ZS 2018/2019 Petr Gregor (KTIML MFF UK) Výroková a predikátová logika - IX ZS 2018/2019 1 / 13 Dokončené tablo Chceme, aby dokončená bezesporná

Více

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

Výroková a predikátová logika - IV Výroková a predikátová logika - IV Petr Gregor KTIML MFF UK ZS 2018/2019 Petr Gregor (KTIML MFF UK) Výroková a predikátová logika - IV ZS 2018/2019 1 / 17 Tablo metoda Tablo Tablo - příklady F (((p q)

Více

Logické programy Deklarativní interpretace

Logické 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íce

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

Př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

Formálnílogickésystémy pro aplikaci v informatice Martin Žáček

Formálnílogickésystémy pro aplikaci v informatice Martin Žáček ZVYŠOVÁNÍODBORNÝCH KOMPETENCÍAKADEMICKÝCH PRACOVNÍKŮ OSTRAVSKÉUNIVERZITY V OSTRAVĚ A SLEZSKÉ UNIVERZITY V OPAVĚ Formálnílogickésystémy pro aplikaci v informatice Martin Žáček PŘEDMĚTY NA OU Logické základy

Více

Predikátová logika dokončení

Predikátová logika dokončení Predikátová logika dokončení Jiří Velebil: X01DML 1. října 2010: Predikátová logika dokončení 1/18 Syntaktická analýza Jako ve výrokové logice (syntaktické stromy). Každý list úspěšného stromu je obsazen

Více

Metody tvorby ontologií a sémantický web. Martin Malčík, Rostislav Miarka

Metody tvorby ontologií a sémantický web. Martin Malčík, Rostislav Miarka Metody tvorby ontologií a sémantický web Martin Malčík, Rostislav Miarka Obsah Reprezentace znalostí Ontologie a sémantický web Tvorba ontologií Hierarchie znalostí (D.R.Tobin) Data jakékoliv znakové řetězce

Více

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

Další (neklasické) logiky. Jiří Velebil: AD0B01LGR 2015 Predikátová logika 1/20 Predikátová logika Jiří Velebil: AD0B01LGR 2015 Predikátová logika 1/20 Jazyk predikátové logiky Má dvě sorty: 1 Termy: to jsou objekty, o jejichž vlastnostech chceme hovořit. Mohou být proměnné. 2 Formule:

Více

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

Vý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

Pravděpodobnost a statistika

Pravděpodobnost a statistika Pravděpodobnost a statistika 1 Náhodné pokusy a náhodné jevy Činnostem, jejichž výsledek není jednoznačně určen podmínkami, za kterých probíhají, a které jsou (alespoň teoreticky) neomezeně opakovatelné,

Více

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 α

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 α 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íce

Matematika B101MA1, B101MA2

Matematika 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íce

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

Vý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íce

Úvod do informatiky. Miroslav Kolařík

Ú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

7 Jemný úvod do Logiky

7 Jemný úvod do Logiky 7 Jemný úvod do Logiky Základem přesného matematického vyjadřování je správné používání (matematické) logiky a logických úsudků. Logika jako filozofická discipĺına se intenzivně vyvíjí už od dob antiky,

Více

Základní pojmy matematické logiky

Zá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íce

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

Mí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íce

SINGULÁRNÍ VÝROKY: Jednoduchý singulární výrok vznikne spojením singulárního termínu s termínem obecným pomocí spony=slova je.

SINGULÁRNÍ VÝROKY: Jednoduchý singulární výrok vznikne spojením singulárního termínu s termínem obecným pomocí spony=slova je. Studijní text Co je singulární výrok SINGULÁRNÍ VÝROKY: PETR Petr je veselý. Jednoduchý singulární výrok vznikne spojením singulárního termínu s termínem obecným pomocí spony=slova je. Příklad: Pavel je

Více

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

Vý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íce

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

Úvod do logiky (presentace 2) Naivní teorie množin, relace a funkce Úvod do logiky (presentace 2) Naivní teorie množin, relace a funkce Marie Duží marie.duzi@vsb.cz 1 Úvod do teoretické informatiky (logika) Naivní teorie množin Co je to množina? Množina je soubor prvků

Více

Matematická logika. Rostislav Horčík. horcik

Matematická 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íce

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

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íce

Základy logiky a teorie množin

Zá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íce

1. Matematická logika

1. 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íce

Matematická logika. Miroslav Kolařík

Matematická logika. Miroslav Kolařík Matematická logika přednáška pátá 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

přednáška 2 Marie Duží

př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íce

Úvod do logiky a logického programování.

Úvod do logiky a logického programování. Úvod do logiky a logického programování Luboš Popelínský popel@fi.muni.cz www.fi.muni.cz/~popel Přehled učiva Opakování základů výrokové a predikátové logiky Normální formy ve výrokové a predikátové logice

Více

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

Systém přirozené dedukce výrokové logiky Systém přirozené dedukce výrokové logiky Korektnost, úplnost a bezespornost Šárka Vavrečková Ústav informatiky, FPF SU Opava Poslední aktualizace: 6. října 2008 Věta o korektnosti Věta (O korektnosti Systému

Více

Výroková logika - opakování

Vý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íce

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

Výroková a predikátová logika - VIII Výroková a predikátová logika - VIII Petr Gregor KTIML MFF UK ZS 2017/2018 Petr Gregor (KTIML MFF UK) Výroková a predikátová logika - VIII ZS 2017/2018 1 / 21 Tablo Tablo metoda v PL - rozdíly Formule

Více

Modely Herbrandovské interpretace

Modely Herbrandovské interpretace Modely Herbrandovské interpretace Petr Štěpánek S využitím materialu Krysztofa R. Apta 2006 Logické programování 8 1 Uvedli jsme termové interpretace a termové modely pro logické programy a také nejmenší

Více

Matematická logika. Miroslav Kolařík

Matematická logika. Miroslav Kolařík Matematická logika přednáška desátá Miroslav Kolařík Zpracováno dle textu R. Bělohlávka: Matematická logika poznámky k přednáškám, 2004. Obsah 1 Úvod do modální logiky 2 Logické programování a Prolog 3

Více

Převyprávění Gödelova důkazu nutné existence Boha

Převyprávění Gödelova důkazu nutné existence Boha Převyprávění Gödelova důkazu nutné existence Boha Technické podrobnosti Důkaz: Konečná posloupnost výrokůkorektně utvořených formulí nějakého logického kalkulu), z nichž každý jelogickým) axiomem, postulátemteorie),

Více

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

Vý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íce

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

Pro 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íce

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

Prediká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íce

1 Báze a dimenze vektorového prostoru 1

1 Báze a dimenze vektorového prostoru 1 1 Báze a dimenze vektorového prostoru 1 Báze a dimenze vektorového prostoru 1 2 Aritmetické vektorové prostory 7 3 Eukleidovské vektorové prostory 9 Levá vnější operace Definice 5.1 Necht A B. Levou vnější

Více

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

Vý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íce

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

Vý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

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

Vý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íce

Fuzzy logika a reálný svět, aneb jsou všechny hromady skutečně malé?

Fuzzy logika a reálný svět, aneb jsou všechny hromady skutečně malé? Fuzzy logika a reálný svět, aneb jsou všechny hromady skutečně malé? Jiří Močkoř University of Ostrava Department of Mathematics Institute for Research and Applications of Fuzzy Modeling 30. dubna 22,

Více

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

Výroková a predikátová logika - IX Výroková a predikátová logika - IX Petr Gregor KTIML MFF UK ZS 2015/2016 Petr Gregor (KTIML MFF UK) Výroková a predikátová logika - IX ZS 2015/2016 1 / 16 Tablo metoda v PL Důsledky úplnosti Vlastnosti

Více

Rovnost lze vyjádřit jako predikát, např. můžeme zvolit, že P(x, y) reprezentujetvrzení xjerovnoy.

Rovnost lze vyjádřit jako predikát, např. můžeme zvolit, že P(x, y) reprezentujetvrzení xjerovnoy. Rovnost Jedním z nejdůležitějších druhů relací je rovnost(identita). Prvkyxayjsousirovny,cožzapisujeme x =y, jestližesejednáojedenatentýžprvek. Rovnost lze vyjádřit jako predikát, např. můžeme zvolit,

Více

Matematická analýza 1

Matematická 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íce

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

Výroková a predikátová logika - VIII Výroková a predikátová logika - VIII Petr Gregor KTIML MFF UK ZS 2016/2017 Petr Gregor (KTIML MFF UK) Výroková a predikátová logika - VIII ZS 2016/2017 1 / 21 Tablo Tablo metoda v PL - rozdíly Formule

Více

Matematická logika. Rostislav Horčík. horcik

Matematická 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íce

Klauzulární logika. Znalostní báze. Šárka Vavrečková

Klauzulární logika. Znalostní báze. Šárka Vavrečková Klauzulární logika Znalostní báze Šárka Vavrečková Ústav informatiky, Filozoficko-přírodovědecká fakulta Slezské univerzity v Opavě sarka.vavreckova@fpf.slu.cz 26. listopadu 2007 (Znalostní báze) Klauzulární

Více

Booleovská 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. 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íce

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

Matematika I. Přednášky: Mgr. Radek Výrut, Zkouška: Přednášky: Mgr. Radek Výrut, Matematika I katedra matematiky, UL-605, rvyrut@kma.zcu.cz tel.: 377 63 2658 Zkouška: Písemná část zkoušky - příklady v rozsahu zápočtových prací Ústní část zkoušky - základní

Více

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

teorie 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íce

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

Sé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íce

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

Vý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íce

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

Cvičení Aktivita 1. část 2. část 3. část Ústní Celkem Známka Celkové hodnocení BI-MLO (nevyplňujte!) Semestr Zkouška Cvičení Aktivita 1. část 2. část 3. část Ústní Celkem Známka BI-MLO Písemná zkouška 9. února 2016 Matematická logika FIT ČVUT v Praze Varianta B

Více

Sylogistika. (FLÚ AV ČR) Logika: CZ.1.07/2.2.00/ / 16

Sylogistika. (FLÚ AV ČR) Logika: CZ.1.07/2.2.00/ / 16 (FLÚ AV ČR) Logika: CZ.1.07/2.2.00/28.0216 2013 1 / 16 Výstavba logické teorie Sylogistika 1) Syntax základní symboly (logické, mimologické) gramatická pravidla (pojem formule) 2) Sémantika pojem interpretace

Více

Cvičení ke kursu Logika II, část III

Cvičení ke kursu Logika II, část III Cvičení ke kursu Logika II, část III (30. listopadu 2008) Osnova přednášky přednáška je určena studentům, kteří absolvovali úvodní kursy logiky a teorie rekurzívních funkcí. Předpokládané znalosti: syntax

Více

prof. RNDr. Čestmír Burdík DrCs. prof. Ing. Edita Pelantová CSc. BI-ZMA ZS 2009/2010

prof. RNDr. Čestmír Burdík DrCs. prof. Ing. Edita Pelantová CSc. BI-ZMA ZS 2009/2010 Základní pojmy prof. RNDr. Čestmír Burdík DrCs. prof. Ing. Edita Pelantová CSc. Katedra matematiky České vysoké učení technické v Praze c Čestmír Burdík, Edita Pelantová 2009 Základy matematické analýzy

Více

10. Techniky formální verifikace a validace

10. Techniky formální verifikace a validace Fakulta informačních technologií MI-NFA, zimní semestr 2011/2012 Jan Schmidt EVROPSKÝ SOCIÁLNÍ FOND PRAHA & EU: INVESTUJENE DO VAŠÍ BUDOUCNOSTI 10. Techniky formální verifikace a validace 1 Simulace není

Více

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

Predik atov a logika - pˇredn aˇska () Predik atov a logika - pˇredn aˇska / 16 Predikátová logika - přednáška 3 6. 1. 2015 () Predikátová logika - přednáška 3 6. 1. 2015 1 / 16 Věta (o dedukci) Bud L jazyk, T teorie pro L, ϕ L-sentence a ψ L-formule. Pak Věta (o kompaktnosti) T ϕ

Více

Matematika pro informatiky KMA/MATA

Matematika 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íce

Logika 5. Základní zadání k sérii otázek: V uvedených tezích doplňte z nabízených adekvátní pojem, termín, slovo. Otázka číslo: 1. Logika je věda o...

Logika 5. Základní zadání k sérii otázek: V uvedených tezích doplňte z nabízených adekvátní pojem, termín, slovo. Otázka číslo: 1. Logika je věda o... Logika 5 Základní zadání k sérii otázek: V uvedených tezích doplňte z nabízených adekvátní pojem, termín, slovo. Otázka číslo: 1 Logika je věda o.... slovech správném myšlení myšlení Otázka číslo: 2 Základy

Více

Predikátová logika Individua a termy Predikáty

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

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

1 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íce

Logika. Akademie managementu a komunikace, Praha PhDr. Peter Jan Kosmály, PhD.

Logika. 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íce

Primární a sekundární výskyt označující fráze. Martina Juříková Katedra filozofie, FF UP v Olomouci Bertrand Russell, 17. - 18. 5.

Primární a sekundární výskyt označující fráze. Martina Juříková Katedra filozofie, FF UP v Olomouci Bertrand Russell, 17. - 18. 5. Primární a sekundární výskyt označující fráze Martina Juříková Katedra filozofie, FF UP v Olomouci Bertrand Russell, 17. - 18. 5. 2012 Russellovo rozlišení jména a popisu Označující fráze Primární a sekundární

Více

Obsah ZÁKLADNÍ POJMY LOGIKA DESKRIPTIVNÍHO JAZYKA 2 VÝROKOVÁ LOGIKA 49 3 VNITŘNÍ STAVBA VÝROKŮ 78

Obsah ZÁKLADNÍ POJMY LOGIKA DESKRIPTIVNÍHO JAZYKA 2 VÝROKOVÁ LOGIKA 49 3 VNITŘNÍ STAVBA VÝROKŮ 78 259 Obsah PŘEDMLUVA 5 ZÁKLADNÍ POJMY 1 ÚVODNÍ ÚVAHY 1.1 o povaze a úkolech logiky 1.2 Logika a právo. Pojem právní logiky 1.3 Vyjadřovací soustava a sdělovací proces. 1.4 Několik základních pojmů potřebných

Více

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

Negativní informace. Petr Štěpánek. S použitím materiálu M.Gelfonda a V. Lifschitze. Logické programování 15 1 Negativní informace Petr Štěpánek S použitím materiálu M.Gelfonda a V. Lifschitze 2009 Logické programování 15 1 Negace jako neúspěch Motivace: Tvrzení p (atomická formule) neplatí, jestliže nelze odvodit

Více

Aplikace: Znalostní báze

Aplikace: Znalostní báze Aplikace: Znalostní báze 1 Znalostní báze je systém, který dostává fakta o prostředí a dotazy o něm. Znalostní báze je agentem ve větším systému, který obsahuje prostředí (také agent), správce (agent),

Více

Logika, výroky, množiny

Logika, výroky, množiny Logika, výroky, množiny Martina Šimůnková 23. srpna 2017 Učební text k předmětu Matematická analýza pro studenty FP TUL Jazyk matematiky Budeme používat dva jazyky: jazyk matematiky a běžně používaný jazyk.

Více

Zadání a řešení testu z matematiky a zpráva o výsledcích přijímacího řízení do magisterského navazujícího studia od podzimu 2014

Zadání a řešení testu z matematiky a zpráva o výsledcích přijímacího řízení do magisterského navazujícího studia od podzimu 2014 Zadání a řešení testu z matematiky a zpráva o výsledcích přijímacího řízení do magisterského navazujícího studia od podzimu 204 Zpráva o výsledcích přijímacího řízení do magisterského navazujícího studia

Více

NAIVNÍ TEORIE MNOŽIN, okruh č. 5

NAIVNÍ TEORIE MNOŽIN, okruh č. 5 NAIVNÍ TEORIE MNOŽIN, okruh č. 5 Definování množiny a jejích prvků Množina je souhrn nějakých věcí. Patří-li věc do množiny X, říkáme, že v ní leží, že je jejím prvkem nebo že množina X tuto věc obsahuje.

Více

Modely datové. Další úrovní je logická úroveň Databázové modely Relační, Síťový, Hierarchický. Na fyzické úrovni se jedná o množinu souborů.

Modely datové. Další úrovní je logická úroveň Databázové modely Relační, Síťový, Hierarchický. Na fyzické úrovni se jedná o množinu souborů. Modely datové Existují různé úrovně pohledu na data. Nejvyšší úroveň je úroveň, která zachycuje pouze vztahy a struktury dat samotných. Konceptuální model - E-R model. Další úrovní je logická úroveň Databázové

Více

Logický čtverec. Tradiční logický čtverec

Logický čtverec. Tradiční logický čtverec Logický čtverec Tradiční logický čtverec Logický čtverec je schéma, do kterého lze poměrně přehledně znázornit následující vztahy mezi tvrzeními: Kontradikce je vztah mezi dvěma tvrzeními s přesně opačnými

Více

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

Výroková a predikátová logika - XIII Výroková a predikátová logika - XIII Petr Gregor KTIML MFF UK ZS 2013/2014 Petr Gregor (KTIML MFF UK) Výroková a predikátová logika - XIII ZS 2013/2014 1 / 13 Úvod Algoritmická (ne)rozhodnutelnost Které

Více

Logika. 1. Úvod, Výroková logika

Logika. 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íce

Úvod do logiky (PL): sémantika predikátové logiky

Ú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

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

Výroková a predikátová logika - III Výroková a predikátová logika - III Petr Gregor KTIML MFF UK ZS 2014/2015 Petr Gregor (KTIML MFF UK) Výroková a predikátová logika - III ZS 2014/2015 1 / 21 Výroková logika Horn-SAT Horn-SAT Jednotková

Více

Zobecněné kvantifikátory, empirické argumenty pro unifikovanou sémantiku NP, negativně 1 / 20 p

Zobecněné kvantifikátory, empirické argumenty pro unifikovanou sémantiku NP, negativně 1 / 20 p Zobecněné kvantifikátory, empirické argumenty pro unifikovanou sémantiku NP, negativně polaritní výrazy FF MU Mojmír Dočekal ÚJABL Logika: systémový rámec rozvoje oboru v ČR a koncepce logických propedeutik

Více

Inteligentní systémy (TIL)

Inteligentní systémy (TIL) Inteligentní systémy (TIL) Marie Duží http://www.cs.vsb.cz/duzi/ Přednáška 9 hyperintensionální kontext Celá konstrukce C je objektem predikace (argumentem), tedy její výstup funkce, kterou konstruuje,

Více

Kapitola Základní množinové pojmy Princip rovnosti. Dvě množiny S a T jsou si rovny (píšeme S = T ) prvek T je také prvkem S.

Kapitola Základní množinové pojmy Princip rovnosti. Dvě množiny S a T jsou si rovny (píšeme S = T ) prvek T je také prvkem S. 1 Kapitola 1 Množiny 11 Základní množinové pojmy Pojem množiny nedefinujeme, pouze připomínáme, že množina je souhrn, nebo soubor navzájem rozlišitelných objektů, kterým říkáme prvky 111 Princip rovnosti

Více