LITERATURA. Čechák V.: Základy logiky a metodologie. Praha Eupress 2007
|
|
- Jakub Říha
- před 7 lety
- Počet zobrazení:
Transkript
1 ÚVOD DO MATEMATICKÉ LOGIKY 1
2 LITERATURA Čechák V.: Základy logiky a metodologie. Praha Eupress
3 Svátek J., Dostálová L.: Logika pro humanistiku. Aleš Čeněk, Dobrá Voda 2003 Bokr J.:, Svátek J.: Základy logiky a argumentace. Aleš Čeněk, Plzeň 2000 Jirků P.: Logika (neformální výklad základů formální logiky). VŠE, Praha
4 Štěpán J.: Klasická logika. Vontobia, Olomouc 1992 Štěpán J.: Logika možných světů I, II, III. Vontobia, Olomouc 1994, 1997 Peregrin J.: Logika a logiky. Academia, Praha
5 Sochor A.: Klasická matematická logika. Karolinum, Praha 2001 Švejdar V.: Logika neúplnost, složitost a nutnost. Academia, Praha 2002 Weinberger O.: Základy právní logiky. MV-Brno 1993 Knapp V., Gerloch A.: Logika v právním myšlení. Eurolex, Praha 2000 Popper K.: Logika vědeckého zkoumání. Praha
6 Věda abstraktní myšlení předmětné myšlení deskripce Praxe reálná materiální činnost 6
7 Logika Teorie vědy Metodologie vědy historie vědy filozofie vědy věda 7
8 Klasifikace věd T.G.Masaryk Konkrétní logika Teoretické Aplikované praktické Abstraktní Konkrétní užitné Aritmetika Geometrie Zeměměřičství Logika 8
9 Co je metodologie? teorie metod (poznání, vědeckého poznání) nikoliv: popis metody teorie jedné metody 9
10 METODA = způsob jak získávat poznatky NIKOLIV: návod 10
11 Základ metodologie: LOGIKA: - zpřesňuje - zajišťuje jednoznačnost - zajišťuje transparentnost - zajišťuje rozumovou evidenci 11
12 Předmět logiky: správné usuzování Usuzování: získávání jedněch poznatků z jiných (výchozích) jen pomocí myšlení 12
13 Zájem logiky: správné a přesné konstrukce pojmů, správnou výstavbu výroků a tvrzení, spojování jednoduchých výroků a tvrzení ve složitější, zjišťování obecných podmínek správného usuzování atd. 13
14 Vzpomínka na množiny 1 Množina = libovolný soubor objektů, předmětů nebo jevů splňující dvě podmínky: a) existuje efektivní procedura umožňující o libovolném předmětu jednoznačně rozhodnout, zda do daného souboru patří či nikoliv b) lze vždy efektivně rozlišit jeden objekt od jiného, patřícího do téhož souboru 14
15 Vzpomínka na množiny 2 Prvek množiny = objekt, předmět či jev, který do daného souboru (množiny) patří 15
16 Vzpomínka na množiny 3 Podmnožina Množina M2 je podmnožinou množiny M1 tehdy a jedině tehdy, jestliže každý prvek množiny M2 je současně prvkem množiny M1 Tento vztah značíme: M2 M1 16
17 Vzpomínka na množiny 4 Ekvivalence množin Je-li množina M2 podmnožinou M1 a současně M1 je podmnožinou M2, jsou množiny M2 a M1 ekvivalentní Tento vztah značíme M1 M2 17
18 Vzpomínka na množiny 5 α) Každá množina je sama svou podmnožinou β ) Prázdná množina je podmnožinou každé množiny 18
19 Obor úvahy: množina, u níž je vždy ji nutno vymezit s dostatečnou přesností co do ní patří. To znamená, musí vždy a v každém případě (na daném stupni poznání) být k dispozici efektivní postup, umožňující rozhodnout o každé věci, problému atd., zda do našeho oboru úvahy patří či nikoliv. 19
20 obecná jména vlastní jména General Name Individual Name 20
21 Obecná jména jsou zpravidla jména skupin předmětů, objektů, jevů atd., určených nějakou skutečností (kvalitou, tvarem, obecnou vlastností). Na tyto skupiny předmětů budeme mít při našem zjednodušeném přístupu jednu jedinou podmínku. U každého libovolného předmětu či objektu musí existovat za každých okolností finitní (konečná) procedura, umožňující jednoznačně rozhodnout zda daný objekt (předmět) do daného oboru úvahy patří či nikoliv. 21
22 Vlastní jméno: Název prvku (objektu), oboru úvahy, který je označován vlastním jménem, a který budeme nazývat denotátem (designátem) vlastního jména 22
23 Dva navzájem různé objekty (prvky oboru úvahy) nemohou mít nikdy jedno a totéž vlastní jméno 23
24 (z1) Každé vlastní jméno může mít nejvýše jeden denotát (designát) (z2) Každý denotát (designát) může mít více vlastních jmen 24
25 Smysl nelze definovat, jen ilustrovat na dostatečném množství příkladů 25
26 význam získáme spojením denotátu (designátu) vlastního jména a jeho smyslu 26
27 Smysl = Sens = Sinn, Význam = Meaning = Bedeutung 27
28 Vlastní jméno označení (denotace) vyjádření koncept Denotát (designát) význam Smysl 28
29 Porozumět vlastnímu jménu znamená znát alespoň jeden jeho smysl 29
30 Abychom (elementárně) porozuměli jazyku, nemusíme v zásadě vědět nic o denotátech (designátech) vlastních jmen, která obsahuje, stačí znát pouze jejich smysl (u každého jména aspoň jeden) 30
31 Obecná jména označují celé soubory objektů či předmětů 31
32 V případě, že soubor objektů (prvků), označených obecným jménem, je konečný, lze jej vymezit uvedením úplného výčtu jmen (vlastních), označujících jednotlivé objekty (prvky), které lze pod daný obecný pojem zařadit 32
33 Pojmenovat určitou vlastnost názvem, předpokládá existenci přesného objektivního vymezení toho, co pod toto jméno můžeme zahrnout 33
34 Vždy musí existovat procedura (operace, soubor operací), umožňující přesně označenou či pojmenovanou vlastnost jednoznačně identifikovat 34
35 Jako názvy vlastností (event. vztahů) budeme používat pouze takových, které na daném oboru úvahu vymezují nějakou (libovolnou) neprázdnou podmnožinu 35
36 Individuální konstanta (v1) Za individuální konstanty budeme považovat vlastní jména, jejichž denotát (designát) reálně existuje. Budeme je symbolicky značit písmeny a, b, c,... a1, b1, c1,... an, bn, cn 36
37 (v2) Individuální proměnná je proměnná jejímž oborem proměnnosti jsou všechny individuální konstanty k označení použijeme symbolů x, y, z... xn, yn, zn 37
38 (v3) Za výrok lze považovat výraz, který individuální konstantně (přesněji jejímu denotátu, designátu) připisuje nějakou vlastnost, nebo popírá, že ji daná individuální konstanta (její denotát, designát) má 38
39 Symbolicky pak lze vyjádřit výrok s použitím symbolů ap, Pa. Tento způsob zápisu pak budeme označovat jako standardní 39
40 Výrok, který konstatuje, že jedné individuální konstantě náleží právě jedna vlastnost (nebo jí nenáleží), budeme nazývat elementárním výrokem 40
41 (v4) Nahradíme-li v elementárním výroku individuální konstantu za individuální proměnnou, k jejímuž oboru proměnnosti daná individuální konstanta patří, získáme elementární výrokovou formu 41
42 (v5) Výroková proměnná je proměnná, jejímž oborem proměnnosti je množina všech výroků a výrokových forem. K symbolickému zápisu výrokových proměnných budeme používat symbolů: p,q,r, s, p1, q1, r1, s1,...pn, qn, rn, sn 42
43 JAZYKY přirozené čeština, angličtina pseudo-přirozené esperanto umělé (formalizované) 43
44 přirozené - napřed jazyk, pak pravidla komunikace pseudo-přirozené - napřed pravidla, pak jazyk 44
45 umělé přesnost jednoznačnost přesná pravidla ale! v přirozeném jazyce 45
46 jazyk objekt o něm uvažujeme metajazyk v něm uvažujeme o jazyku objektu 46
47 K formalizovanému jazyku můžeme přistupovat přibližně ve třech základních rovinách: syntaktické, sémantické a pragmatické 47
48 SYNTAX V syntaktické rovině chápeme jazyk jako soubor symbolů a pravidel, jak z těchto symbolů tvořit složitější výrazy 48
49 Na symboly máme ze syntaktického hlediska dva základní požadavky: 1) Jeden a tentýž symbol musíme zaznamenat vždy jedním a tímtéž grafickým způsobem 2) Grafický záznam symbolů musí být volen tak, aby symboly byly od sebe vždy dobře rozlišitelné 49
50 V sémantické rovině klademe důraz na denotáty (designáty), smysl, význam symbolů a výrazů, které se ve formalizovaném jazyce vyskytují extenzionální sémantika intenzionální sémantika 50
51 slovník vypíšeme seznam všech symbolů primitivními symboly 51
52 Primitivní symboly budeme považovat za dále nedělitelné, a to ve dvojím smyslu: 1) V jazyce nelze nikdy používat jejich částí 2) Každá konečná lineární posloupnost těchto symbolů může být nahlížena jako posloupnost pouze jedním jediným způsobem 52
53 Libovolnou konečnou posloupnost primitivních symbolů budeme nazývat formulí našeho jazyka 53
54 Důkazem se nazývá konečná posloupnost správně utvořených formulí tehdy a jedině tehdy, jestliže každá správně utvořená formule v této posloupnosti je: (i) axiomem, nebo (ii) vyplývá podle některého z pravidel nebo podle více pravidel odvozování z axiomů nebo ze správně utvořených formulí, které ji v posloupnosti předcházejí 54
55 Teorémem v axiomatickém systému je každá správně utvořená formule, k níž existuje důkaz 55
56 Požadavek efektivnosti, který musí splňovat: zadání primitivních symbolů - musí být efektivní v tom smyslu, že musí existovat metoda, která umožní konečným počtem kroků rozhodnout o každém symbolu, zda mezi primitivní symboly patří nebo ne vymezení správně utvořené formule - musí být efektivní v tom smyslu, že o každé formuli lze konečným počtem jeho aplikací rozhodnout, zda je správně utvořená či nikoliv 56
57 zadání axiomů - musí být efektivní v tom smyslu, že o každé formuli lze na jeho základě rozhodnout, zda je axiomem či nikoliv Zpravidla bývají axiomy explicitně vyjmenovány (vypsány), proto se požaduje, aby jich byl vždy konečný a velmi malý počet 57
58 pravidla odvozování - musí být efektivní v tom smyslu, že lze na základě jejich zadání vždy rozhodnout, zda nějaká formule, jako závěr, vyplývá z jiných formulí, jako premis 58
59 Primitivními symboly jazyka Lo budou: 1)p, q, r, s,... pn, qn, rn, sn, 2) -,,,,, 3),, 59
60 Formule Lo Libovolná konečná posloupnost symbolů jazyka Lo je formulí Lo 60
61 SUF Lo kterýkoliv ze symbolů skupiny 1), stojící sám o sobě, je SUF Lo _ je-li p SUF Lo, pak i p je SUF Lo jsou-li p a q SUF, pak i (p q), (p q), (p q) a (p q) jsou SUF nic jiného, než to, co bylo uvedeno v bodech 1, - 3, této definice, již není SUF 61
62 Logické spojky: Symbol - označuje negaci Symboly,,, označují postupně spojky nazvané konjunkce disjunkce implikace a ekvivalence. Ve všech případech jde o logické spojky (funktory) binární 62
63 negace v přirozeném jazyce odpovídající vyjádření slovy ne, neplatí, není pravda, že 63
64 konjunkce českou spojkou a 64
65 disjunkce vyjádřit spojkou nebo 65
66 implikace výrazem z p plyne q 66
67 ekvivalence tehdy a jedině tehdy, když 67
68 Tabulka č. 1 p f1 f2 f3 f
69 Tabulka č. 2 p q F1 F2 F3 F4 F5 F6 F7 F8 F9 F10 F11 F12 F13 F14 F15 F
70 (i) Každá SUF je sama svou podformulí (ii) Máme-li nějakou SUF C, která má tvar B, pak obsahuje právě dvě podformule C a B (iii) Máme-li nějakou SUF výr. logiky C, která má některý z následujících tvarů: A B, A B, A B a A B, pak má právě tyto podformule A, B a C (iv) Nic jiného než to, co bylo uvedeno v bodech (i) - (iii) tohoto vymezení, není již podformulí SUF výrokové logiky 70
71 p _ p
72 p q (p q)
73 p q (p q)
74 p q (p q)
75 p q p q
76 p q (p q) (p q)
77 p q r p q r q)
78 Takovou SUF, která nabývá výsledného ohodnocení 1 pro všechny distribuce hodnot výrokovým proměnným, které obsahuje, nazýváme vždy pravdivou formulí výrokové logiky Formule, které nabývají hodnoty 0 pro všechny distribuce hodnot svým proměnným, budeme označovat jako vždy nepravdivé 78
79 Symbol 0, 1 budeme dále nazývat pravdivostními hodnotami 79
80 n (i) P r = 2, kde P r označuje počet řádků, a n počet navzájem různých výrokových proměnných 80
81 Počet n-arních logických spojek lze stanovit podle vztahu P f = 2 n (2 )) kde P f je počet n-arních log. spojek a n je počet navzájem různých výrokových proměnných 81
82 ( z i ) Každou obecně n-ární logickou spojku lze vyjádřit pomocí závorek a vhodně volené, konečné posloupnosti unárních a binárních log. spojek Způsob uzávorkování podformulí a jejich spojování pomocí negace a binárních spojek pak označujeme termínem struktura SUF 82
83 Za elementární formuli budeme označovat formuli, která již žádnou logickou strukturu nemá Každou SUF, která má strukturu, lze rozložit na její podformule Logickou spojku (funktor), spojující dvě největší podformule, dané SUF, budeme nazývat hlavní log. spojkou (funktorem) formule 83
84 FUNKČNÍ ÚPLNOST Všechny binární (a tím i unární) log. spojky lze vyjádřit nezávisle na sobě pomocí následujících dvojic spojek,, a, 84
85 Systém log. spojek, kterými lze vyjádřit všechny binární (a unární) log. spojky budeme nazývat funkčně úplným systémem (spojek) výrokové logiky 85
86 Dvojice log. spojek -, F 3, -, F 4 a -, F 13 tvoří funkčně úplné systémy výrokové logiky 86
87 Každá z logických spojek F 5 a F 15 sama o sobě tvoří funkčně úplný systém výrokové logiky. Každý z těchto systémů je minimálním funkčně úplným systémem výrokové logiky. 87
88 Vždy pravdivé formule nazýváme je tautologie a jejich množina je spočetně nekonečná a budeme ji značit symbolem T 88
89 Zákon vyloučení třetího: buď platí výrok nebo jeho negace, symbolicky: (1) p p 89
90 Zákon nepřípustnosti sporu Říká nám, že současně nemůže platit výrok a jeho negace, symbolicky (2) ( p p ) 90
91 Zákon dvojité negace Negujeme-li již jednou negovaný výrok, je pravdivostní hodnota takto vzniklého výroku stejná jako původního výroku symbolicky = (3) ( p p) 91
92 Komutativní zákon pro konjunkci dovoluje zaměnit ve formuli, kde jedinou binární spojkou je konjunkce, pořadí podformulí ( p q) ( q p) Komutativní zákon pro disjunkci ( p q ) ( q p ) 92
93 Asociativní zákon pro konjunkci Umožňuje nám ve formulích, kde jedinými binárními spojkami jsou konjunkce, nepřihlížet k uzávorkování p (q r ) ( p q ) r Asociativní zákon pro disjunkci p q r ) ( p q ) r 93
94 Distributivní zákon pro konjunkci vzhledem k disjunkci p ( q r ) ( p q ) ( p r ) Distributivní zákon pro disjunkci vzhledem ke konjunkci p ( q r ) ( p q) ( p r ) 94
95 De Morganovy zákony pro disjunkci a konjunkci ( p q ) ( p q ) ( p q ) ( p q ) ( p q ) ( p q ) ( p q ) ( p q ) 95
96 Tranzitivita implikace plyne-li z výroku p výrok q a současně z výroku q plyne výrok r, pak výrok r plyne rovněž (přímo) z výroku p p q) (q r) p r) (p q) ( q r ) (p r ) 96
97 Transpozice pro implikaci obrátíme-li pořadí podformulí v implikaci a současně obě podformule negujeme, výsledná pravdivostní hodnota formule se nemění (p q) ( q p) 97
98 AXIOMATIZACE 98
99 Základní charakteristiky Axiom Pravidla odvozování Teorem Důkaz 99
100 Axiom je vždy pravdivou SUF Platí, že A T, kde A značí množinu všech (zvolených) axiomů 100
101 Pravidla odvozování Jsou to pravidla, která nám zaručují, že v případě, kdy jsou pravdivé (platné) výchozí formule (nazýváme je premisami), pak jsou pravdivé i formule, které z nich získáme pomocí těchto pravidel odvozování. Odvozené formule nazýváme závěry nebo konkluze 101
102 Pravidlo dosazení Dosadíme-li za libovolnou výrokovou proměnnou ve vždy pravdivé formuli výr. logiky jinou výr. proměnnou nebo SUF výr. logiky, a to vždy na všech místech jejího výskytu současně, získáme opět vždy pravdivou formuli výr. logiky. 102
103 Pravidlo odloučení Modus ponens Máme-li nějakou SUF tvaru (A B), která je vždy pravdivá, a je-li současně pravdivá i formule A, pak je nutně pravdivá i formule B Symbolicky můžeme toto pravidlo zapsat: (A B), A B 103
104 Jiná verze (A B), A B Pravidlo zvané Modus tolens ( A B ), B A 104
105 Každý teorém musí být tautologií (i) A T T kde T je množina všech teorémů 105
106 Pojem struktury formule Strukturou formule rozumíme uspořádanou posloupnost symbolů skupin 2) a 3) našeho zadání symbolů jazyka, která vyhovuje podmínce, že všechny podformule jsou SUF a jsou spojeny ve vyšší formule log. spojkami podle vymezení formule bodu 2) 106
107 Formuli, která neobsahuje žádnou binární (nebo vyšší) výrokovou spojku, nazýváme elementární formulí 107
108 (ax. 1) (1) p ( q p ) (2) p q r p q ) ( p r ) (3) ( p q ) ( p q ) (4) ( p q ) ( q p ) (5) ( p q ) ( q p ) (p q ) 108
109 (6) p q ( q p ) (7) ( p q ) ( p p ) (8) ( p ( p q ) (9) p q ) p (10) ( p q p q ) ) (11) p r ) ( q r) ( p q ) r 109
110 (12) ( p (q q ) p (13) ( p p) q (14) p p 110
111 Dva axiomatické systémy jsou navzájem ekvivalentní, mají-li stejné soubory teorémů, které v nich lze odvodit Budeme značit soubor teorémů Cnq (ax. t), kde t značí číslo daného axiomatického systému Cnq (ax 1) Cnq (ax 2) 111
112 1) ( p / q / r) ) / (( p1 / ( p1 / p1 ) ) / (( s / q) / (p / s) / (p / s) ) ( A / ( B / C ) ),A C 112
113 Nezávislost axiomů Libovolný axiom A nějakého axiomatického systému S je nezávislý, není-li teorémem v axiomatickém systému, který získáme ze systému S vynecháním axiomu A, a po připojení jeho negace, tedy formule Ā, k takto zúženému axiomatickému systému získáme opět bezesporný axiomatický systém 113
114 Bezespornost Libovolný systém axiomů (teorie) je bezesporný, jestliže v něm není odvoditelná nějaká formule a současně její negace Systém je absolutně bezesporný, jestliže v něm existuje nějaká správně utvořená formule, která není teorémem 114
115 Úplnost Systém je úplný v absolutním smyslu, jestliže pro libovolnou formuli B platí, že je buď teorémem nebo že po jejím připojení k danému systému jako teorému se tento systém stane sporným v absolutním smyslu 115
116 Systém je úplný, jestliže každý jeho teorém je tautalogií a každá tautalogie (vztahující se k danému systému nebo teorii) je v daném systému teorémem (i) T T 116
117 V predikátové logice elementární výrok Pa výroková forma Px 117
118 1) a, b, c,... a n, b n, c n, Jazyk L 1 2) x, y, z,... x n, y n, z n, 3) P, Q, R, S,... P n, Q n, R n, S n 4),,,, 5) V,, 6),,, 118
119 Libovolnou konečnou posloupnost symbolů skupiny 1) - 6) budeme považovat za formuli (1)Výrazy Pa a Px jsou SUF predikátové logiky (2) Je-li nějaký výraz A SUF, pak i výraz Ā je SUF (3) Jsou-li výrazy A a B SUF predikátové logiky pak i výrazy A B, A B, A B, A B, jsou SUF (4) Je-li nějaký výraz A SUF pak i výrazy V A a A a jsou SUF (5) Nic jiného než to co bylo uvedeno v tomto vymezení za 1) - 4) již není SUF predikátové logiky 119
120 Nyní si nazveme jednotlivé symboly Symboly skupiny 1) jsou individuální konstanty Symboly skupiny 2) jsou individuální proměnné Symboly skupiny 3) jsou konstanty (názvy) predikátů Symboly skupiny 4) jsou nám již známé logické spojky Symboly skupiny 5) nazveme postupně obecný (velký) kvantifikátor, existenční (malý) kvantifikátor Obecný kvantifikátor můžeme vyjádřit slovy pro všechny platí, že... Existenční kvantifikátor můžeme vyjádřit slovy: existuje takové......, že Skupinu symbolů 6) pak tvoří naše známé pomocné symboly, závorky 120
121 Proměnnou stojící bezprostředně u znaku kvantifikátoru, stejně jako proměnnou, stojící bezprostředně u ní, budeme nazývat kvantifikovanou proměnnou 121
122 Formule, která stojí bezprostředně za poslední kvantifikovanou proměnnou, se označuje termínem pole působnosti kvantifikátoru 122
123 Kvantifikovaná proměnná, která se nachází v poli působnosti kvantifikátoru, se nazývá vázanou proměnnou 123
124 Proměnná, která není vázanou, se nazývá volnou 124
125 Formule, která neobsahuje žádnou volnou proměnnou, se nazývá uzavřenou formulí 125
126 Formule, která obsahuje aspoň jednu volnou proměnnou se nazývá otevřenou formulí 126
127 a) V...( Vx ( A B) ( VxA Vx B ) ) b) V...( VxAx Ax ) c) V... VxyA VyxA d) V... ( Vxy VxA ) y/x tj. za y dosadíme na všech místech jejího výskytu x e) V... ( A VxA ) f) V... Vx ( A B ) ( xa xb ) ) g) V...( Ax xax ) h) V...( xya yxa ) i) V...( xa xya ) j) V...( xa A ) 127
128 Místo Vx Vy Vx n Vy n budeme psát Vx,y x n, x n Místo x y x n y n budeme psát x, y x n, y n 128
129 pravidlo dodání obecného kvantifikátoru A VxA 129
130 vzájemný vztah mezi kvantifikátory VxPx xpx VxPx Pa Pa xpx 130
131 De Morganovy zákony pro kvantifikátory i) Vx Px x Px iii) x Px Vx Px _ ii) Vx Px x Px _ iv) x Px Vx Px 131
132 Formule bude splnitelná existuje-li aspoň jedno udělení hodnot jejím podformulím, při němž nabývá výsledného ohodnocení 1 132
133 Formule je vyvratitelná existuje-li alespoň jedno udílení (distribuce) hodnot jejím podformulím, při němž nabývá výsledného ohodnocení 0 133
134 čtyři typy základních soudů obecné kladné A obecné záporné E částečné kladné I částečné záporné 0 134
135 obecný kladný VxPx obecný záporný Vx Px částečný kladný xpx částečný záporný x Px 135
136 podřízenost kontrárnost protiva A E kontradikce podřízenost subalternost protikladnost subalternost I O podprotiva subkontrárnost 136
137 Hypotéza Musí akceptovat obecně dosažený stupeň poznání v dané oblasti. Nemůže být v rozporu s vědecky prokázanou a potvrzenou strukturou daného oboru a jeho základními principy. (Pokud svým zaměřením nesměřuje k jejímu popření.) 137
138 Každé pravdivé tvrzení, které je v teorii obsaženo, musí být vyvoditelné ze základních principů nebo tvrzení. Jestliže najdeme takové tvrzení, které je evidentně pravdivé a nelze je vyvodit ze základních tvrzení (axiomů, teorémů, postulátů), pak je daná teorie neúplná. 138
139 Teorie je aktuálně bezesporná, jestliže neobsahuje dvě nebo více vzájemně se vylučujících tvrzení. Obsahuje-li alespoň dvě sporná tvrzení, tj. výrok a jeho negaci, označujeme takovouto teorii za spornou - inkonzistentní 139
140 O teorii říkáme, že je potenciálně bezesporná, nelze-li z tvrzení, která obsahuje, vyvodit (pomocí přípustných prostředků) spor, tj. nějaké tvrzení současně s jeho negací 140
141 Klasickou ukázkou definice je (1) p q = d f p q výraz = d f značí je definičně rovno výraz, stojící (nalevo od) před tímto symbolem, nazýváme definiendum výraz stojící za (napravo od) tímto symbolem nazýváme definiens 141
142 Požadavky na správnou definici (a) V definiendu se může vyskytovat pouze jeden symbol první skupiny, a to v nejmenším možném počtu výskytu (b) V definiens se může vyskytovat více symbolů první skupiny, ale pouze ty, které byly zadány jako primitivní, nebo byly již dříve zavedeny správnou definicí 142
143 (a ) V definiendu správné definice se může vyskytovat pouze jediný odborný termín, a to v nejjednodušším možném kontextu (b ) V definiens se mohou vyskytovat pouze ty odborné termíny, které byly zadány jako primitivní, nebo byly již dříve zavedeny správnou definicí 143
144 (i) Správná definice musí být v každém případě souměrná, tj. rozsah definienda musí být stejný jako rozsah definiens V případě, že rozsah definiens je větší než definienda, nazýváme takovouto definici širokou Je-li rozsah definiens menší než rozsah definienda, pak takovou definici nazýváme úzkou 144
145 (ii) Je nepřípustné, aby se v definies vyskytovaly nepřesné, neurčité, metaforické, dvou- či víceznačné nebo nesrozumitelné pojmy (iii) Definice musí vyjadřovat podstatné znaky definovaného pojmu (iv) Definiens nesmí obsahovat pojmy vyjadřující negativní znaky, není-li pojem obsažený v definiendu negativní 145
146 (v) V definiens nesmí být použity termíny, které byly předtím zavedeny pomocí pojmu, který je uveden v definiendu (vi) Definiens správné definice má objasňovat význam a smysl pojmů a nikoliv jen lexikální význam slova, který tento pojem vyjadřuje 146
147 (a) Definiendum a definiens tvoří úplnou alternativu (b) Definiens vylučuje všechny prvky této alternativy s výjimkou těch, které jsou obsaženy v defiendu (c) Pojem nebo pojmy, které jsou uvedeny v definiens, nesmí být samy před tím zavedeny negativní definicí 147
148 klasická definice čtverec je čtyřúhelník pravoúhlý a rovnostranný druh = rod + druhový rozdíl 148
149 definice ostenzí rekurentní definice definice genetické definice korektivní definice kontextuální definici abstrakcí 149
150 Definice syntetické Zavádíme jimi nový pojem nebo nový symbol pro již známý (nebo dříve definovaný) pojem nebo termín V analytické definici zpravidla u pojmu, který je v definiendu zavádíme v definiens další podstatné charakteristiky rozšiřující jeho dosavadní význam 150
151 Konjunktivní a disjunktivní normální formy 151
152 Konjunkci výrokových proměnných (eventuálně výrokových proměnných s negačním pruhem) budeme nazývat elementární konjunkcí. Disjunkci výrokových proměnných (eventuálně výrokových proměnných s negačním pruhem) budeme nazývat elementární disjunkcí. 152
153 Disjunktivní normální formou libovolné formule bude formule, která bude disjunkcí elementárních konjunkcí a která bude mít stejnou pravdivostní hodnotu jako daná formule. Konjunktivní normální formou libovolné formule bude formule, která bude konjunkcí elementárních disjunkcí a která bude mít stejnou pravdivostní hodnotu jako daná formule. 153
154 Ke každé správně utvořené formuli výrokové logiky existuje formule, která je s ní ekvivalentní a je disjunktivní normální formou (konjunktivní normální formou). 154
155 Úplnou disjunktivní normální formou budeme nazývat formuli, která je disjunkcí elementárních konjunkcí, jež jsou stejného řádu, který se rovná počtu navzájem různých proměnných, jež se ve formuli vyskytují, a v žádné elementární konjunkci se nevyskytují současně proměnná a tatáž proměnná s negací a přitom jsou v každé elementární konjunkci zastoupeny všechny proměnné, které se ve formuli vyskytují. 155
156 Úplnou konjunktivní normální formou budeme nazývat formuli, která je konjunkcí elementárních disjunkcí, jež jsou stejného řádu, který se rovná počtu navzájem různých proměnných, jež se ve formuli vyskytují, a v žádné elementární disjunkci se nevyskytuje současně proměnná a tatáž proměnná s negací a přitom jsou v každé elementární disjunkci zastoupeny všechny proměnné, které se ve formuli vyskytují. 156
157 Ke každé správně utvořené formuli výrokové logiky, která není formulí vždy nepravdivou, existuje právě jedna úplná disjunktivní normální forma. 157
158 Ke každé správně utvořené formuli výrokové logiky, která není formulí vždy pravdivou, existuje právě jedna úplná konjunktivní normální forma. 158
159 (1) (p q) (q p) komutativní (2) ((p q) r) (p (q r)) asociativní (3) (p q) (q p) (4) ((p q) r) (p (q r)) 159
160 (5) (p (q r)) (p q) (p r) (6) p (q r)) (p q) (p r) 160
161 (7) (p q) (p q) (8) (p q) (p q) (9) (p q) (p q) (10) (p q) (p q) 161
162 (11) (p p) p (12) (p p) p (13) (p ) p (14) (p λ ) p 162
163 (15) T = (16) F = λ (17) (p p) λ (18) (p p) 163
164 (19) (λ p) p (20) (λ p) λ (21) ( p) (22) ( p) p 164
165 Výskyt kvantifikátoru Vα nebo α v libovolné formuli se nazývá počátečním, jestliže stojí na počátku této formule, (t.j. nevyskytují se před ním žádné jiné symboly této formule, včetně závorek), nebo jestli mu předcházejí ze symbolů uvažované formule pouze znaky kvantifikátorů Vα a α, samozřejmě každý se svojí kvantifikovanou proměnnou. 165
166 Výskyt kvantifikátoru Vα nebo α v libovolné formuli se nazývá neúčinným, jestliže se v jejich poli působnosti nevyskytuje žádný volný výskyt kvantifikované proměnné, která stojí u daného kvantifikátoru. (T.j. žádný volný výskyt proměnné α.) V opačném případě se takový to výskyt kvantifikátoru Vα nebo α (t.j. když se v jeho poli působnosti vyskytuje α jako volná proměnná) nazývá neprázdným. 166
167 Def. 1. Jestliže ve formuli A jsou všechny výskyty kvantifikátoru neprázdné a počáteční, pak říkáme, že tato formule se nachází v prenexní normální formě. α 1, α 2,... α n M 167
168 Tvrzení 1. Ke každé formuli A naší formulace predikátové logiky existuje konečná posloupnost operací, jejichž pomocí můžeme danou formuli přepracovat na formuli A, v níž budou všechny kvantifikátory počátečními. Přitom formule A je jednoznačně určená, je-li dána formule A. Tvrzení 2. Ke každé formuli A systému predikátové logiky lze najít odpovídající formuli B,která je v prenexní normální formě. Tvrzení 3. Je-li formule B prenexní normální formou formule A, pak platí / _ A B. Def. 2 Říkáme, že formule je ve Skolemově normální formě,jestliže je v prenexní formě, neobsahuje žádné volné individuální proměnné a její prefix má tvar: α1, α2,..., αm, Vβ1, Vβ2,... Vβn, kde m 1 a n = 0 Tvrzení 5. Jestliže C je Skolemova normální forma formule A, pak platí / _ A, tehdy a jedině tehdy, jestli platí / _ C. 168
169 Def. 5. Budeme říkat, že formule A je obecně platná, je-li platná v libovolné neprázdné oblasti. Def. 6. Budeme říkat, že formule A je obecně splnitelná, je-li splnitelná na nějaké neprázdné oblasti. 169
170 a) Formule A je platná na nějaké neprázdné oblasti, tehdy a jedině tehdy, není-li na této oblasti splnitelná formule Ā. a ) Formule A je obecně platná pouze tehdy, není-li formule Ā obecně splnitelná. b) Formule A je splnitelná na nějaké oblasti pouze tehdy, není-li na této oblasti formule Ā platná. b ) Formule A je obecně splnitelná pouze tehdy, není-li formule Ā obecně platná. 170
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íceMETODOLOGIE (LOGIKA) VĚDY
METODOLOGIE (LOGIKA) VĚDY (kombinovaná forma doktorského studia) 1. Prof. PhDr. Vladimír Čechák, CSc., vladimir.cechak@vsfs.cz :: LITERATURA Povinná: Friedman M.: Metodologie pozitivní ekonomie. Praha:
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í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íceFormální systém výrokové logiky
Formální systém výrokové logiky 1.Jazyk výrokové logiky Nechť P = {p,q,r, } je neprázdná množina symbolů, které nazýváme prvotní formule. Symboly jazyka L P výrokové logiky jsou : a) prvky množiny P, b)
Ví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íceteorie logických spojek chápaných jako pravdivostní funkce
Výroková logika teorie logických spojek chápaných jako pravdivostní funkce zabývá se způsoby tvoření výroků pomocí spojek a vztahy mezi pravdivostí různých výroků používá specifický jazyk složený z výrokových
Ví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í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í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íce1. Matematická logika
Moderní technologie ve studiu aplikované fyziky CZ.1.07/2.2.00/07.0018 1. Matematická logika Základem každé vědy (tedy i matematiky i fyziky) je soubor jistých znalostí. To, co z těchto izolovaných poznatků
Ví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í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í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í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í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íceMísto pojmu výroková formule budeme používat zkráceně jen formule. Při jejich zápisu
VÝROKOVÁ LOGIKA Matematická logika se zabývá studiem výroků, jejich vytváření a jejich pravdivostí. Základním kamenem výrokové logiky jsou výroky. Co je výrok nedefinujejme, pouze si řekneme, co si pod
VíceZákladní pojmy matematické logiky
KAPITOLA 1 Základní pojmy matematické logiky Matematická logika se zabývá studiem výroků, jejich vytváření a jejich pravdivostí. Základním kamenem výrokové logiky jsou výroky. 1. Výroková logika Co je
Ví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í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í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í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í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íceVý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í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í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í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í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íce1. Matematická logika
MATEMATICKÝ JAZYK Jazyk slouží člověku k vyjádření soudů a myšlenek. Jeho psaná forma má tvar vět. Každá vědní disciplína si vytváří svůj specifický jazyk v úzké návaznosti na jazyk živý. I matematika
Ví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í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í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í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íceVýroková a predikátová logika - X
Výroková a predikátová logika - X Petr Gregor KTIML MFF UK ZS 2018/2019 Petr Gregor (KTIML MFF UK) Výroková a predikátová logika - X ZS 2018/2019 1 / 16 Rozšiřování teorií Extenze o definice Rozšiřování
VíceMatematika pro informatiky KMA/MATA
Matematika pro informatiky KMA/MATA Informace k předmětu Mgr. Přemysl Rosa rosapr00@pf.jcu.cz, J349 Konzultační hodiny v ZS: úterý 10-11, čtvrtek 15-16 nebo individuálně po předchozí domluvě aktivní účast
VíceVý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í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ícePř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íceMatematika B101MA1, B101MA2
Matematika B101MA1, B101MA2 Zařazení předmětu: povinný předmět 1.ročníku bc studia 2 semestry Rozsah předmětu: prezenční studium 2 + 2 kombinované studium 16 + 0 / semestr Zakončení předmětu: ZS zápočet
Více1 Základní pojmy. 1.1 Množiny
1 Základní pojmy V této kapitole si stručně připomeneme základní pojmy, bez jejichž znalostí bychom se v dalším studiu neobešli. Nejprve to budou poznatky z logiky a teorie množin. Dále se budeme věnovat
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íceKapitola 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...
Kapitola 1 Úvod 1.1 Značení N... přirozená čísla (1, 2, 3,...). Z... celá čísla ( 3, 2, 1, 0, 1, 2,...). Q... racionální čísla ( p, kde p Z a q N) q R... reálná čísla C... komplexní čísla 1.2 Výroky -
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í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ícePredikátová logika (logika predikátů)
Predikátová logika (logika predikátů) Ve výrokové logice pracujeme s jednoduchými či složenými výroky, aniž nás zajímá jejich struktura. Příklad. Jestliže Karel je studentem, pak je (Karel) chytřejší než
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í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í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ář 3 Predikátový počet Uvažujme následující úsudek.
VíceAplikovaná matematika I, NMAF071
M. Rokyta, MFF UK: Aplikovaná matematika I kap. 1: Úvod, čísla, zobrazení, posloupnosti 1 Aplikovaná matematika I, NMAF071 M. Rokyta, KMA MFF UK ZS 2013/14 Sylabus = obsah (plán) přednášky [a orientační
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í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íceDefinice. Petr Kuchyňka
Definice Petr Kuchyňka (7765@mail.muni.cz) 1 Úvod Pravdivost vět či platnost argumentů lze kompetentně posoudit, jen když je jasné, co přesně znamenají výrazy v nich užité. Základním prostředkem specifikace
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í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í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í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í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í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í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ícePredikátová logika Individua a termy Predikáty
Predikátová logika Predikátová logika je rozšířením logiky výrokové o kvantifikační výrazy jako každý, všichni, někteří či žádný. Nejmenší jazykovou jednotkou, kterou byla výroková logika schopna identifikovat,
Ví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í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í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í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í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í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í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í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í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íceMatematika I. Přednášky: Mgr. Radek Výrut, Zkouška:
Přednášky: Mgr. Radek Výrut, Matematika I katedra matematiky, UL-605, rvyrut@kma.zcu.cz tel.: 377 63 2658 Zkouška: Písemná část zkoušky - příklady v rozsahu zápočtových prací Ústní část zkoušky - základní
Ví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Ý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íce1. MATEMATICKÁ LOGIKA A MNOŽINY
. MATEMATICKÁ LOGIKA A MNOŽINY Průvodce studiem V následující kapitole si připomeneme některé význačné poznatky z matematické logiky a teorie množin, tvořící základ množinově logického aparátu. S celou
Ví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íceLogika, 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íceOrganizace. Zápočet: test týden semestru (pátek) bodů souhrnný test (1 pokus) Zkouška: písemná část ( 50 bodů), ústní část
Matematika I 1/15 2/15 Organizace Zápočet: test 6. + 11. týden semestru (pátek) 80 bodů 50 79 bodů souhrnný test (1 pokus) Zkouška: písemná část ( 50 bodů), ústní část www.vscht.cz/mat Výuka www.vscht.cz/mat/jana.nemcova
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í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í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íceCvič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íceZáklady matematické logiky
OBSAH 1 Základy matematické logiky Obsah 1 Úvod 2 1.1 Předmět matematiky.......................... 2 1.2 Nástin historie.............................. 2 1.3 Axiomatická výstavba matematických teorií.............
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íce1. Predikátová logika jako prostedek reprezentace znalostí
1. Predikátová logika jako prostedek reprezentace znalostí 1.1 Historie výrokové logiky Problém explicitních znalostí a údaj, kterých je obrovské množství, vedl ke vzniku výrokové logiky. lovk si obecn
VícePo prostudování této kapitoly byste měli porozumět základním definicím uvedených v této kapitole a měli je umět bezchybně interpretovat,
1 Matematická logika 1.1 Výroky, operace s výroky Po prostudování této kapitoly byste měli porozumět základním definicím uvedených v této kapitole a měli je umět bezchybně interpretovat, měli být schopni
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íceVý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í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íceB i n á r n í r e l a c e. Patrik Kavecký, Radomír Hamřík
B i n á r n í r e l a c e Patrik Kavecký, Radomír Hamřík Obsah 1 Kartézský součin dvou množin... 3 2 Binární relace... 6 3 Inverzní relace... 8 4 Klasifikace binární relací... 9 5 Ekvivalence... 12 2 1
VíceLogika 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Ú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í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íceNegativní 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íceVýroková a predikátová logika - XI
Výroková a predikátová logika - XI Petr Gregor KTIML MFF UK ZS 2014/2015 Petr Gregor (KTIML MFF UK) Výroková a predikátová logika - XI ZS 2014/2015 1 / 21 Další dokazovací systémy PL Hilbertovský kalkul
VíceLogické proměnné a logické funkce
Booleova algebra Logické proměnné a logické funkce Logická proměnná je veličina, která může nabývat pouze dvou hodnot, označených 0 a I (tedy dvojková proměnná) a nemůže se spojitě měnit Logická funkce
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í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í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ícePravdě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íceI. Úvodní pojmy. Obsah
I. Úvodní pojmy Obsah 1 Matematická logika 2 1.1 Výrok,logickéoperátory,výrokovéformuleaformy... 2 1.2 Logickávýstavbamatematiky... 3 1.2.1 Základnímetodydůkazůmatematickýchvět..... 3 1.2.2 Negacevýroků.....
VícePrimá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