Logika. Akademie managementu a komunikace, Praha PhDr. Peter Jan Kosmály, PhD.
|
|
- Růžena Němečková
- před 8 lety
- Počet zobrazení:
Transkript
1 Akademie managementu a komunikace, Praha PhDr. Peter Jan Kosmály, PhD.
2 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á logika Aristotelovský čtverec 4. Definice a terminologie 5. Polysémie, synonymie, homonymie, antonymie 6. Analýza chybných argumentací 7. Interpretace 8. Analýza konkrétního dialogu
3 Základní studijní literatura: Online materiály plus jakákoli příručka základů logiky, např. BEK, Roman. Logika. Praha: ČVUT, 1996, GAHÉR, František. Logika pre každého. Bratislava: Iris, 1994, PEREGRIN, Jaroslav. Logika a logiky. Praha: Academia, 2004 ŠTĚPÁN, Jan. Logika a logické systémy. Olomouc: Votobia, ŠTĚPÁN, Jan. Klasická logika. Olomouc: Univerzita Palackého v Olomouci, NYTROVÁ, Olga - PIKÁLKOVÁ, Marcela. Etika a logika v komunikaci. Praha: UJAK, E-vyuka pro logiku. [online] Dostupné elektronicky: Úsudky. Testy studijních předpokladů. [online] Brno, Masarykova univerzita Dostupné elektronicky: Požadavky na kontrolní práce - absolvovat průběžná seminární cvičení, ze kterých každé bude ověřovat jednak porozumění studenta přednášené látce a jednak jeho schopnost použít nabyté poznatky v praxi. Cvičení budou mít charakter elektronických testů s výběrem z několika odpovědí nebo doplnění krátké odpovědi.
4 Predikátová logika Logika Ve výrokové logice nezáleží na vnitřní struktuře výroku, protože výroková logika se zabývá se pouze těmi strukturami (složenými výroky, argumenty), jejichž pravdivost či správnost závisí pouze na způsobu, jak jsou mezi sebou jednoduché výroky spojeny. Pouze jen malá část úsudků může být formalizována a dokázána v rámci výrokové logiky. V predikátové logice záleží na vnitřní struktuře výroku. Pokud správnost argumentů závisí i na vnitřní struktuře jednoduchých výroků, jsou podstatné ty prvky, kterým říkáme termíny. Jsou situace, kdy je tato logika nedostačující, např. Aristotelovské sylogismy. Skládají se ze dvou jednoduchých premis a jednoduchého závěru. Petr je student. Student je moudrý. Petr je moudrý. Každý člověk je omylný. Jan je člověk. Jan je omylný. Označíme-li uvedené věty symboly p, q, r, pak pokus o formalizaci v rámci výrokové logiky je dán následujícím úsudkem: p, q / r, což odpovídá formuli: (p q) Þ r. upraveno podle: NYTROVÁ, Olga - PIKÁLKOVÁ, Marcela. Etika a logika v komunikaci. Praha: UJAK, E-vyuka pro logiku. [online] Dostupné elektronicky:
5 Predikátová logika Aristotelovský čtverec Tato formalizace je však zřejmě nedostačující, a to z těchto důvodů: Uvedené tři výroky jsou z hlediska VL elementární a navzájem nezávislé, avšak ve skutečnosti mají vnitřní komponenty, jsou strukturované, a existuje mezi nimi prostřednictvím těchto komponent vazba. Termín "člověk" se vyskytuje ve výrocích p i q, termín "omylný" ve výrocích p i r, a termín "Jan" ve výrocích q i r. Formule (p q) Þ r není tautologií, úsudek p, q / r není platný, i když úsudek demonstrovaný příkladem evidentně platný je. V predikátové logice, která je zobecněním výrokové logiky, je uvedený úsudek formalizován jako resp. následující formulí x [p(x) Þ q(x)], p(j) = q(j) { x [p(x) Þ q(x)] p(j)} Þ q(j) upraveno podle: NYTROVÁ, Olga - PIKÁLKOVÁ, Marcela. Etika a logika v komunikaci. Praha: UJAK, E-vyuka pro logiku. [online] Dostupné elektronicky:
6 Predikátová logika Logika x je předmětová (individuová) proměnná probíhající určitou předmětnou oblast universum diskursu, J je individuová konstanta z dané předmětné oblasti (v uvedeném příkladě konkrétní člověk Jan), p, q jsou určité vlastnosti předmětů z universa diskursu (v uvedeném příkladě je interpretujeme jako vlastnosti myslících bytostí "být člověkem" a "být omylný"), p(x), q(x) resp. p(j), q(j) značí, že x resp. J má vlastnost p resp. q, zápis provsechna x[ ] značí, že pro všechna individua z předmětné oblasti platí to, co je uvedeno v hranatých závorkách. 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). Predikátové logiky druhého a vyšších řádů se zabývají formalizací úsudků, vlastnostmi vlastností a vztahy a o vztazích mezi vlastnostmi a vztahy. Predikátová logika 1. řádu je zobecněním výrokové logiky, kterou můžeme považovat za logiku nultého řádu. upraveno podle: E-vyuka pro logiku. [online] Dostupné elektronicky:
7 Predikátová logika Rozlišujeme dva druhy termínů: Logika Obecné jazykové výrazy, které označují větší množství předmětů, tj. množinu předmětů. (člověk, město, číslo, ) Singulární jazykové výrazy, které označují právě jeden předmět. (vlastní jména jako je Pavel, Praha, ) 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. Příklad: Pavel je člověk. (tj. Pavel patří do množiny lidí) Praha je město. (tj. Praha patří do množiny měst) Jednoduchý singulární výrok je způsob jednoduché predikce, jejímž smyslem je vypovídat něco (člověk, město,..) o něčem (Pavel, Praha,..) (predikát, subjekt) Na jednoduché singulární výroky lze aplikovat pravidla výrokové logiky, tj. spojovat je do složených výroků pomocí logických spojek. upraveno podle: NYTROVÁ, Olga - PIKÁLKOVÁ, Marcela. Etika a logika v komunikaci. Praha: UJAK, 2007.
8 Predikátová logika Logika Obecný termín člověk lze spojovat pouze s jedním singulárním termínem (jednou proměnnou) Petr je člověk. Jedná se proto o jednomístný predikát. Existují i obecné termíny, které se vztahují k uspořádaným dvojicím. Nevyjadřují jejich vlastnosti, ale jejich vzájemný vztah. ( větší než, bratr, ) Petr je větší než Pavel. (singulární termín) (obecný termín) (singulární termín) Ivan je bratrem Ondry. Takové obecné termíny se nazývají vztahové neboli relační termíny. Existují i relační termíny, které vyjadřují vztah mezi více než dvěma předměty. Pro vytvoření přislušného jednoduchého výroku potřebujeme příslušný počet singulárních termínů. Jedná se o n-místný predikát. K vyjádření vztahu, že Praha leží mezi Mělníkem a Benešovem potřebujeme minimálně tři singulární termíny Praha, Mělník, Benešov. upraveno podle: NYTROVÁ, Olga - PIKÁLKOVÁ, Marcela. Etika a logika v komunikaci. Praha: UJAK, 2007.
9 Predikátová logika Logika Abeceda predikátové logiky je tvořena následujícími skupinami symbolů: a) Logické symboly předmětové (individuové) proměnné: x, y, z,... (příp. s indexy) symboly pro spojky: Þ symboly pro kvantifikátory provsechna, existuje případně binární predikátový symbol = (predikátová logika s rovností) b) Speciální symboly (určují specifiku jazyka) predikátové symboly: p, q, r,... /příp. s indexy/ funkční symboly: f, g, h,... /příp. s indexy/ Ke každému funkčnímu a predikátovému symbolu je přiřazeno nezáporné číslo n (n 0), tzv. arita, udávající počet individuových proměnných, které jsou argumenty funkce nebo predikátu. c) Pomocné symboly /závorky/: (,) /případně i [,],{,}/ upraveno podle: E-vyuka pro logiku. [online] Dostupné elektronicky:
10 Predikátová logika - Gramatika a) termy: každý symbol proměnné je term jsou-li t1,,tn (n 0) termy a je-li f n-ární funkční symbol, pak výraz f(t1,,tn) je term; pro n = 0 se jedná o nulární funkční symbol, neboli individuovou konstantu (značíme a, b, c, ) b) atomické formule: je-li p n-ární predikátový symbol a jsou-li t1,,tn termy, pak výraz p(t1,,tn) je atomická formule jsou-li t1 a t2 termy, pak výraz (t1 = t2) je atomická formule c) formule: každá atomická formule je formule je-li výraz A formule, pak A je formule jsou-li výrazy A a B formule, pak výrazy (A Disjunkce B), (A Konjunkce B), (A implikace B), (A B) jsou formule je-li x proměnná a A formule, pak výrazy provsechnaxa a existujexa jsou formule jen výrazy dle i. iv. jsou formule upraveno podle: E-vyuka pro logiku. [online] Dostupné elektronicky:
11 Predikátová logika - Gramatika V predikátové logice vytvářejí členy strukturu pomocí predikátové konstanty (F) a konstanty individuové (a). Pravdivost zde závisí na tom, zda spojíme vhodnou predikátovou konstantu s vhodnou individuovou konstantou. Co je vhodné spojení? Výrok formy F(a) je pravdivý, právě tehdy, když je předmět, který označuje individuová konstanta prvkem množiny, kterou označuje konstanta predikátová. Výrok Zinek je chemický prvek je pravdivý, pokud Zinek patří do množiny chemických prvků. Výrokje nepravdivý, pokud Zinek nepatří do množiny chemických prvků. Pravdivostní hodnotu výroku F(a) můžeme vysvětlit i pomocí přístupu Fregeho, přes predikátové funkce. Např. Je chemický prvek vnímáme jako funkci, která pokud jí aplikujeme na zinek, je pravdivá. (Zinek je chemický prvek) Pokud jí aplikujeme např. na vodu je nepravdivá. (Voda je chemický prvek je nepravdivý výrok) Přístupy pomocí funkce přiřazující pravdu, nepravdu pomocí množiny a vlastnosti patřit do ní, nepatřit do ní upraveno podle: : NYTROVÁ, Olga - PIKÁLKOVÁ, Marcela. Etika a logika v komunikaci. Praha: UJAK, 2007.
12 Predikátová logika - Obecné výroky V přirozeném jazyce nacházíme výroky, které mají obecný charakter, např: Každý je smrtelný, někteří psi jsou jezevčíci, žádný člověk není zvíře,... Analýza výroku Každý je smrtelný. F... být smrtelný (predikátová konstanta) Individuová konstanta není zřejmá, je jen nedefinovaný výraz každý Jak tento výraz používáme? Zkoumáme-li nějakou množinu individuí např. množinu lidí, je výrok Každý je smrtelný pravdivý právě tehdy, když je smrtelný každý prvek této množiny. Petr je smrtelný. Ivan je smrtelný. Jana je smrtelná. atd. pro všechny prvky např. množiny lidí, kterou jsme se rozhodli zkoumat. Výrok: Pro každé x platí: x je smrtelné. F(x)...x je smrtelné Pro každé x platí: F(x) znak pro výraz pro každé. (obecný kvantifikátor) upraveno podle: : NYTROVÁ, Olga - PIKÁLKOVÁ, Marcela. Etika a logika v komunikaci. Praha: UJAK, 2007.
13 Predikátová logika - ČÁSTEČNÉ VÝROKY Výroky, které začínají např. výrazem některý. Někteří psi jsou jezevčíci. Dvě predikátové konstanty G...pes F... jezevčík Hledáme opět individua, která mají vlastnost, že současně x je pes a x je jezevčík. K tomu, aby byl výrok pravdivý, stačí, aby existovalo alespoň jedno takové individum, které je současně psem a současně jezevčíkem. Existuje alespoň jedno x, pro které platí: x je pes a x je jezevčík. Existuje alespoň jedno x, pro které platí: G(x) F(x) znak pro výraz existuje alespoň jedno (existenční kvantifikátor) x (G(x) F(x)) upraveno podle: : NYTROVÁ, Olga - PIKÁLKOVÁ, Marcela. Etika a logika v komunikaci. Praha: UJAK, 2007.
14 Predikátová logika Logika Jestliže používáme kvantifikátory, pak musíme vzít do úvahy všechna individua předem stanoveného oboru úvahy (universum diskursu). Kritéria oboru úvahy: 1. Musí obsahovat předměty, které jsou označeny individuovými konstantami 2. Musí obsahovat předměty, které jsou označeny predikátovými konstantami 3. Obor úvahy nesmí být prázdný. Příklad: Každý člověk je smrtelný. (obor úvahy: množina živočichů) Někteří psi jsou jezevčíci. (obor úvahy: zvířata) Pomocí predikátové logiky je možné vyjádřit např. aristotelovské výroky. Zkoumáme například množinu živočichů (obor úvahy). Každý pes je savec. Žádný pes není savec. Některý pes je savec. Některý pes není savec. Dva obecné termíny F pes G...savec upraveno podle: : NYTROVÁ, Olga - PIKÁLKOVÁ, Marcela. Etika a logika v komunikaci. Praha: UJAK, 2007.
15 Predikátová logika Přirozený jazyk aristotelsky Predikátová logika (1) Každý pes je savec. F a G x (F(x) Þ G(x)) (2) Žádný pes není savec. F e G x (F(x) Þ G(x)) (3) Některý pes je savec. F i G x (F(x) G(x)) (4) Některý pes není savec. F o G x (F(x) G(x)) Obor úvahy = tříprvková množina (a,b,c) Individua: a,b,c Vlastnost F (predikátová konstanta) Výrok x F(x) x F(x) ( F(a) F(b) F(c) ) obecný kvantifikátor vyjádřený pomocí konjunkce Výrok x F(x) x F(x) ( F(a) F(b) F(c) ) existenční kvantifikátor vyjádřený pomocí disjunkce upraveno podle: : NYTROVÁ, Olga - PIKÁLKOVÁ, Marcela. Etika a logika v komunikaci. Praha: UJAK, 2007.
16 Predikátová logika - Pravidla predikátové logiky Pravidlo odstranění obecného kvantifikátoru: Máme-li formuli ve tvaru : x F(x), můžeme přejít k formuli F(a) (ve smyslu pravdivosti označuje určitý předmět) Jestliže každý člověk je živočich, potom Petr je živočich. (Petr je z množiny lidí) Pravidlo zavedení existenčního kvantifikátoru: Máme-li formuli ve tvaru F(a), můžeme přejít k formuli x F(x) (platí tehdy, když a označuje určitý předmět) Jestliže Petr je živočich, potom některý člověk je živočich. (Petr je člověk) Pravidlo vztahu mezi existenčním a obecným kvantifikátorem Máme-li formuli ve tvaru : (platí tehdy, když obor úvahy není prázdný) x F(x), můžeme přejít k formuli x F(x) Jestliže každý člověk je živočich, potom některý člověk je živočich. upraveno podle: : NYTROVÁ, Olga - PIKÁLKOVÁ, Marcela. Etika a logika v komunikaci. Praha: UJAK, 2007.
17 Predikátová logika - Pravidla predikátové logiky Vztah mezi konjunkcí a disjunkcí (de Morganův zákon) (F(a) F(b) F(c) ) ( F(a) F(b) F(c) ) x F(x) ( x F(x) ) x F(x) x F(x) x F(x) ( x F(x) ) ( x F(x) ) x F(x) formule s existenčním kvantifikátorem bývá spojována s disjunkcí formule s obecným kvantifikátorem bývá spojována s konjunkcí vztah mezi implikací a konjunkcí: ( p q) ( p q) ( p q) ( p q) upraveno podle: : NYTROVÁ, Olga - PIKÁLKOVÁ, Marcela. Etika a logika v komunikaci. Praha: UJAK, 2007.
18 Predikátová logika - Aristotelovské výroky v predikátové logice Každý pes je savec. x (F(x) G(x)) x (F(x) G(x)) Některý pes je savec. x (F(x) G(x)) x (F(x) G(x)) affirmo (tvrdím, lat.) neggo (popírám, lat.), subjekt (S) a predikát (P) Každý (+) kontrární Nikdo (-) S a P S e P subalternační kontradiktorický subalternační Někdo (+) subkontrární Někdo (-) S i P Žádný pes není savec. x (F(x) G(x)) x (F(x) G(x)) Některý pes není savec. x (F(x) G(x)) x (F(x) G(x)) S o P Platí vztah kontradikce. Vztah kontrárnosti, subkontrárnosti a subalternace v predikátové logice neplatí, protože můžeme používat prázdné obecné termíny. (např. jednorožec). upraveno podle: : NYTROVÁ, Olga - PIKÁLKOVÁ, Marcela. Etika a logika v komunikaci. Praha: UJAK, 2007.
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íceLogika. Akademie managementu a komunikace, Praha PhDr. Peter Jan Kosmály, PhD.
Akademie managementu a komunikace, Praha PhDr. Peter Jan Kosmály, PhD. Tematické okruhy: 1. Stručné dějiny logiky a její postavění ve vědě 2. Analýza složených výroků pomocí pravdivostní tabulky 3. Subjekt-predikátová
VíceOkruh č.3: Sémantický výklad predikátové logiky
Okruh č.3: Sémantický výklad predikátové logiky Predikátová logika 1.řádu formalizuje úsudky o vlastnostech předmětů a vztazích mezi předměty pevně dané předmětné oblasti (univerza). Nebudeme se zabývat
Ví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íceÚvod do TI - logika Predikátová logika 1.řádu (4.přednáška) Marie Duží marie.duzi@vsb.cz
Úvod do TI - logika Predikátová logika 1.řádu (4.přednáška) Marie Duží marie.duzi@vsb.cz Jednoduché úsudky, kde VL nestačí Všechny opice mají rády banány Judy je opice Judy má ráda banány Z hlediska VL
Ví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ícePredikátová logika. prvního řádu
Predikátová logika prvního řádu 2 Predikát Predikát je n-ární relace - vyjadřuje vlastnosti objektů a vztahy mezi objekty - z jednoduchého výroku vznikne vypuštěním alespoň jednoho jména objektu (individua)
VíceSémantika 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í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í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í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í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í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íceKvantita (u subjektu) všechny prvky množiny (všichni, každý, nikdo, žádní ) některé prvky množiny (některý, existuje,.) predikát.
Studijní text Hledisko kvality a kvantity, vztahy pravdivostních hodnot Nyní se zaměříme na obecné a částečné výroky se stejným em a em. Kvantita (u u) všechny prvky množiny (všichni, každý, nikdo, žádní
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í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í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í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í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í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í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íceLogický č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í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í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í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: 2. Analýza složených výroků pomocí pravdivostní tabulky 3. Subjekt-predikátová logika Aristotelovský čtverec 4.
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/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í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í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 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Ú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íceDalší (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íceMatematická logika. Rostislav Horčík. horcik
Matematická logika Rostislav Horčík horcik@math.feld.cvut.cz horcik@cs.cas.cz www.cs.cas.cz/ horcik Rostislav Horčík (ČVUT FEL) Y01MLO Letní semestr 2007/2008 1 / 20 Predikátová logika Motivace Výroková
VíceVýroková a predikátová logika - VI
Výroková a predikátová logika - VI Petr Gregor KTIML MFF UK ZS 2017/2018 Petr Gregor (KTIML MFF UK) Výroková a predikátová logika - VI ZS 2017/2018 1 / 24 Predikátová logika Úvod Predikátová logika Zabývá
VíceSpojování výroků (podmínek) logickými spojkami
Spojování výroků (podmínek) logickými spojkami Spojování výroků logickými spojkami a) Konjunkce - spojení A B; Pravdivostní tabulka konjunkce A B A B 0 0 0 0 1 0 1 0 0 1 1 1 AND; A a současně B Konjunkce
Ví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í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íceÚvod do logiky (PL): logický čtverec
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): logický čtverec doc. PhDr. Jiří Raclavský,
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í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í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íceÚvod do logiky (PL): analýza vět přirozeného jazyka
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): analýza vět přirozeného jazyka doc. PhDr.
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íceLogika. 1. Úvod, Výroková logika
Logika 1. Úvod, Výroková logika RNDr. Luděk Cienciala, Ph. D. Tato inovace předmětu Úvod do logiky je spolufinancována Evropským sociálním fondem a Státním rozpočtem ČR, projekt č. CZ. 1.07/2.2.00/28.0216,
VíceZÁKLADY LOGIKY A METODOLOGIE
ZÁKLADY LOGIKY A METODOLOGIE Metodický list č. 1 Téma: Předmět logiky a metodologie, základy logiky a formalizace. Toto téma lze rozdělit do tří základních tématických oblastí: 1) Předmět logiky a metodologie
Ví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íceLogika. 2. Výroková logika. RNDr. Luděk Cienciala, Ph. D.
Logika 2. Výroková logika RNDr. Luděk Cienciala, Ph. D. Tato inovace předmětu Úvod do logiky je spolufinancována Evropským sociálním fondem a Státním rozpočtem ČR, projekt č. CZ. 1.07/2.2.00/28.0216, Logika:
VíceBooleovská algebra. Booleovské binární a unární funkce. Základní zákony.
Booleovská algebra. Booleovské binární a unární funkce. Základní zákony. Tomáš Bayer bayertom@natur.cuni.cz Katedra aplikované geoinformatiky a kartografie, Přírodovědecká fakulta UK. Tomáš Bayer bayertom@natur.cuni.cz
VíceÚvod do logiky (PL): sémantika predikátové logiky
Logika: systémový rámec rozvoje oboru v ČR a koncepce logických propedeutik pro mezioborová studia (reg. č. CZ.1.07/2.2.00/28.0216, OPVK) Úvod do logiky (PL): sémantika predikátové logiky doc. PhDr. Jiří
VíceVýroková a predikátová logika - II
Výroková a predikátová logika - II Petr Gregor KTIML MFF UK ZS 2017/2018 Petr Gregor (KTIML MFF UK) Výroková a predikátová logika - II ZS 2017/2018 1 / 17 Předběžnosti Základní pojmy n-ární relace a funkce
Víceλογος - 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ícePrediká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íceI) Příklady (převeďte následující věty do formulí PL1 a ověřte jejich ekvivalenci pomocí de Morganových zákonů):
I) Příklady (převeďte následující věty do formulí PL1 a ověřte jejich ekvivalenci pomocí de Morganových zákonů): 1. Všechna prvočísla větší než 2 jsou lichá. Je-li prvočíslo větší než 2, pak je liché.
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á 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í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íceÚvod do TI - logika 1. přednáška. Marie Duží
Úvod do TI - logika 1. přednáška Marie Duží marie.duzi@vsb.cz Úvod do TI - logika Učební texty: http://www.cs.vsb.cz/duzi Courses Introduction to Logic: Informace pro studenty Učební texty: Kapitoly: Úvod
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. p, q, r...
Výroková logika Výroková logika je logika, která zkoumá pravdivostní podmínky tvrzení a vztah vyplývání v úsudcích na základě vztahů mezi celými větami. Můžeme též říci, že se jedná o logiku spojek, protože
Ví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í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í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íceOkruh č.9: sémantické metody dokazování v PL1 model formule Tradiční Aristotelova logika kategorický sylogismus subjekt predikátové výroky
Okruh č.9: sémantické metody dokazování v PL1 Pomocí metody Vennových diagramů a relačních struktur vytváříme grafický model situace, která je úsudkem vyjádřena. Ověřujeme, zda náš graficky znázorněný
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í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í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íceMarie Duží
Marie Duží marie.duzi@vsb.cz Učební texty: http://www.cs.vsb.cz/duzi Tabulka Courses, odkaz Mathematical Učební texty, Presentace přednášek kursu Matematická logika, Příklady na cvičení + doplňkové texty.
Ví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íceAristotelská logika. Pojem
Aristotelská logika Základními stavebními kameny aristotelské logiky jsou tři témata pojmy, soudy a úsudky. Jejich rozboru Aristoteles věnuje převážnou část svých logických spisů. Kromě toho pak věnuje
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í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íceKlauzulární logika. úvod. Šárka Vavrečková. 20. října Ústav informatiky Filozoficko-Přírodovědecká fakulta Slezské univerzity, Opava
Klauzulární logika úvod Šárka Vavrečková Ústav informatiky Filozoficko-Přírodovědecká fakulta Slezské univerzity, Opava 20. října 2008 Klauzulární logika Hlavní vlastnosti pracujeme s klauzulemi, které
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í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 Výrok a jeho negace
1 Výrok a jeho negace Výrokem se rozumí sdělení, u něhož má smysl otázka, zda je, či není pravdivé. Budeme určovat tzv. pravdivostní hodnotu výroku (PH). Příklady výroků: V Úhlopříčky čtverce jsou na sebe
Ví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íceLogický 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í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í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 - 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íceZáklady logiky Logika a logické systémy. Umělá inteligence a rozpoznávání, LS
Základy logiky 22. 4. 2015 Umělá inteligence a rozpoznávání, LS 2015 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í,
VíceMatematická 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íceKlasická predikátová logika
Klasická predikátová logika Matematická logika, LS 2012/13, závěrečná přednáška Libor Běhounek www.cs.cas.cz/behounek/teaching/malog12 PřF OU, 6. 5. 2013 Symboly klasické predikátové logiky Poznámky Motivace
VíceUDL 2004/2005 Cvičení č.6 řešení Strana 1/5
UDL 2004/2005 Cvičení č.6 řešení Strana 1/5 Opakování pojmů relace a funkce Relace R nad množinami A, B je podmnožina kartézského součinu: R A B Kartézský součin množin A = {a 1, a 2,, a 4 }, B = {b 1,
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íceÚvod do výrokové a predikátové logiky
Úvod do výrokové a predikátové logiky Eva Ondráčková Na této přednášce se seznámíte se základy výrokové a predikátové logiky. Zjistíte, že podstatou logiky není vyplňování pravdivostních tabulek ani negování
VíceVýroková logika. 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íceLogika 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Úvod do logiky (PL): negace a ekvivalence vět mimo logický
Logika: systémový rámec rozvoje oboru v ČR a koncepce logických propedeutik pro mezioborová studia (reg. č. CZ.1.07/2.2.00/28.0216, OPVK) Úvod do logiky (PL): negace a ekvivalence vět mimo logický čtverec
Ví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íceMatematická logika. Rostislav Horčík. horcik@math.feld.cvut.cz horcik@cs.cas.cz www.cs.cas.cz/ 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 Predikátová logika Motivace Výroková
VíceVýroková a predikátová logika - II
Výroková a predikátová logika - II Petr Gregor KTIML MFF UK ZS 2013/2014 Petr Gregor (KTIML MFF UK) Výroková a predikátová logika - II ZS 2013/2014 1 / 20 Základní syntax Jazyk Výroková logika je logikou
VíceVÝ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íceNAIVNÍ 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íceRezoluční kalkulus pro logiku prvního řádu
AD4M33AU Automatické uvažování Rezoluční kalkulus pro logiku prvního řádu Petr Pudlák Logika prvního řádu (Někdy nepřesně nazývaná predikátová logika.) Výhody Vyšší vyjadřovací schopnost jazyka, V podstatě
VíceÚvod do teoretické informatiky(2017/2018) cvičení 6 1
Úvod do teoretické informatiky(2017/2018) cvičení 6 1 Cvičení 6 Příklad 1: Pro každou z následujících sekvencí symbolů rozhodněte, zda se jedná o a) term, b) formuli predikátové logiky(používejte běžné
Více1.4.6 Negace složených výroků I
1.4.6 Negace složených výroků I Předpoklady: 010405 Pedagogická poznámka: Dlouho jsem se v počátcích své praxe snažil probrat negace za jednu hodinu. Tvorba negací je skvělým procvičováním schopnosti dodržovat
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í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í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í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íce