09. seminář logika (úvod, výroková).notebook. November 30, Logika
|
|
- Vendula Janečková
- před 7 lety
- Počet zobrazení:
Transkript
1 Logika 1
2 Logika Slovo logika se v češtině běžně používá ve smyslu myšlenková cesta, která vedla k daným závěrům. Logika je formální věda, zkoumající právě onen způsob vyvozování závěrů. Za zakladatele logiky je považován Aristoteles ( př.n.l) sylogistická logika. Sylogismus: * Premisa 1: Každý člověk je smrtelný. * Premisa 2: Aristoteles je člověk. * Závěr: Aristoteles je smrtelný. 2
3 Logika výroková (výrokové proměnné, logické spojky) predikátová rozšíření výrokové (kvantifikátory, predikáty = relace na množinách) fuzzy logika (tvrzení mají index vágnosti = stupeň pravdivosti vhodnější pro reálné aplikace, pračky, autopiloti...) 3
4 Výroková logika 4
5 Výrok Za výrok budeme považovat jakékoli tvrzení, u kterého má smysl zabývat se otázkou, zda je či není pravdivé (podle toho pak výrok budeme nazývat pravdivým nebo nepravdivým). pravdivostní hodnota výroku 0 nepravda false F 1 pravda true T v(a) = 1 5
6 Jsou to výroky? V roce 1998 získala hokejová reprezentace České republiky zlatou medaili na olympijských hrách v Naganu. Český král a římskoněmecký císař Karel IV. vládl v 18. století. Sedni si! 4 < 5 Co je dnes k večeři? Ať se máme všichni dobře! Učitel drží v ruce křídu. x > 10 Na Marsu existuje život. 6
7 Jsou to výroky? Urči pravdivostní hodnoty Pro kontrolu odkryj = 8 Česká vlajka má tři barvy 8 > 6 x + 5 > x + 2 Praha je hlavní město ČR Dnes večer bude u nás pršet Pythagorova věta platí v pravoúhlém trojúhelníku Výr je vyjmenované slovo po V Čeština má devět pádů není výrok 1 hypotéza
8 Negace výroku Negace výroku je výrok, který popírá tvrzení v původním výroku. Výrok a jeho negace mají opačnou pravdivostní hodnotu Negace výroku V se pak značí například V, nebo V 8
9 Negace výroku Vytvořte negaci výroků: Dnes je pondělí. Karel IV žil v 18. století. Jana je dívčí jméno Slunce obíhá okolo Země Dnes není pondělí Karel IV nežil v 18. století Jana není dívčí jméno Slunce neobíhá okolo Země = > 11 Není pravda, že 8 2 > 11 9
10 Složené výroky tvořené z jednodušších pomocí logických spojek Logické spojky konjunkce a, a současně, AND disjunkce nebo!!!!!, OR implikace jestliže... potom, když...tak, IF ekvivalence tehdy a jen tehdy, když právě tehdy když, IFF nonekvivalence buď a nebo, exkluzivní OR, XOR 10
11 11
12 Mám rád čokoládu a ovoce. (výrok V) Mám rád čokoládu.(výrok V1) A Mám rád ovoce. (výrok V2) V = V1 V2 Večer půjdeme do kina nebo do divadla Večer půjdeme do kina. NEBO Večer půjdeme do divadla. V = V1 V2 Jestliže se mi bude chtít, budu se učit. JESTLIŽE Bude se mi chtít. PAK Budu se učit. V = V1 V2 Anežku vezmu do restaurace jen tehdy, když budu mít peníze. Anežku vezmu do restaurace. TEHDY A JEN TEHDY Budu mít peníze. V = V1 V2 Buď pojedeme vlakem, nebo autobusem. 12
13 Tabulka pravdivostních hodnot udává závislost pravdivostní hodnoty složeného výroku na pravdivostních hodnotách jednodušších výroků, ze kterých se složený výrok skládá. A B A B A B A B A B A B
14 Příklad za jakých podmínek budu lhát? V: Jestliže bude venku pršet a půjde elektřina, tak se budu učit. V1: Bude pršet. V2: Půjde elektřina. V3: Budu se učit Zápis: (V1 V2) V3 Podívejme se tedy na pravdivostní hodnotu: V1 V2 V1 V2 V3 (V1 V2) V Vidíme, že lhát budu pouze v případě, že bude pršet, půjde elektřina a já se nebudu učit 14
15 15
16 16
LOGIKA 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íceZáklady informatiky. Výroková logika
Základy informatiky Výroková logika Zpracoval: Upravila: Ing. Pavel Děrgel Daniela Sztrucová Obsah přednášky Výroková logika Výroky Pravdivostní ohodnocení Logické spojky Výrokově logická analýza Aristotelés
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íceSložené výroky Jsou tvořeny dvěma nebo více výroky jednoduššími. V : Číslo 8 je liché. V : 0,1 N. V : Paříž je hl. město Španělska.
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íceVY_42_Inovace_12_MA_2.01_ Výroky. Prezentace určena pro první ročník maturitních oborů, ve které je vysvětlení učiva výroky.
Číslo projektu Číslo materiálu CZ.1.07/1.5.00/34.0394 VY_42_Inovace_12_MA_2.01_ Výroky Název školy Střední odborná škola a Střední odborné učiliště, Hustopeče, Masarykovo nám. 1 Autor Tematický celek Mgr.
VíceSpojování výroků (podmínek) logickými spojkami
Spojování výroků (podmínek) logickými spojkami Spojování výroků logickými spojkami a) Konjunkce - spojení A B; Pravdivostní tabulka konjunkce A B A B 0 0 0 0 1 0 1 0 0 1 1 1 AND; A a současně B Konjunkce
VíceÚvod do logiky (VL): 2. Uvedení do výrokové 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 (VL): 2. Uvedení do výrokové logiky doc. PhDr. Jiří
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íceMatematická logika. Miroslav Kolařík
Matematická logika přednáška první Miroslav Kolařík Zpracováno dle textu R. Bělohlávka: Matematická logika poznámky k přednáškám, 2004. a dle učebního textu R. Bělohlávka a V. Vychodila: Diskrétní matematika
Víceλογος - 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íceKterá tvrzení jsou pravdivá nezávisle na tom, který den v týdnu byla vyslovena? Tvrzení trosečníka Dana.
Trosečníci Adam, Barry, Code a Dan zapoměli po čase kalendář. Začali se dohadovat, který den v týdnu vlastně je. Každý z nich řekl svůj názor: A: Dnes je úterý nebo zítra je neděle B: Dnes není úterý nebo
Ví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ář 2 Výroková logika pokračování Logické vyplývání
VíceBinární logika Osnova kurzu
Osnova kurzu 1) Základní pojmy; algoritmizace úlohy 2) Teorie logického řízení 3) Fuzzy logika 4) Algebra blokových schémat 5) Vlastnosti členů regulačních obvodů 6) Vlastnosti regulátorů 7) Stabilita
Ví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íceVečerní kurzy matematiky Letní studentská konference Tudy Cesta Nevede
Večerní kurzy matematiky Letní studentská konference Tudy Cesta Nevede 1 Výroková logika výroky:a,b pravdivost výroku: 0 nepravda, 1 pravda logické spojky: A negace A A B konjunkce A B disjunkce A B implikace
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í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í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íceNegace výroku. Příklad 1. Rozhodněte, zda jsou věty výroky, u výroků určete pravdivostní hodnotu:
Základní pojmy výrokové logiky Výrok je každé sdělení, o němž má smysl říci, zda je pravdivé nebo nepravdivé. Přitom může nastat pouze jedna možnost. Výroky označujeme obvykle velkými písmeny A, B, C Pravdivému
VíceSLOŽENÉ VÝROKY. Konjunkce. Motivační příklad společné zadání pro další příklady:
ARNP 1 2015 Př. 1 SLOŽENÉ VÝROKY Motivační příklad společné zadání pro další příklady: Byly vysloveny následující výroky (vhledem k budoucímu času se jedná o hypotézy) : b: Na přednášku přijde Barbora.
VíceJak je důležité být fuzzy
100 vědců do SŠ 1. intenzivní škola Olomouc, 21. 22. 6. 2012 Jak je důležité být fuzzy Libor Běhounek Ústav informatiky AV ČR 1. Úvod Klasická logika Logika se zabývá pravdivostí výroků a jejím přenášením
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í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í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í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íceÚvod do logiky (VL): 8. Negace výroků
Logika: systémový rámec rozvoje oboru v ČR a koncepce logických propedeutik pro mezioborová studia (reg. č. CZ.1.07/2.2.00/28.0216, OPVK) Úvod do logiky (VL): 8. Negace výroků doc. PhDr. Jiří Raclavský,
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íceZáklady číslicové techniky. 2 + 1 z, zk
Základy číslicové techniky 2 + 1 z, zk Ing. Vít Fábera, K614 e-mail: fabera@fd.cvut.cz K508, 5. patro, laboratoř, 2 2435 9555 Ing. Tomáš Musil, Ph.D., K620 e-mail: musil@asix.cz K508, 5. patro, laboratoř,
Více1.4.3 Složené výroky implikace a ekvivalence
1.4.3 Složené výroky implikace a ekvivalence Předpoklady: 1401, 1402 Pedagogická poznámka: Látka zabere spíše jeden a půl vyučovací hodiny. Buď můžete využít písemku nebo se podělit o čas s následující
VíceVysoká škola ekonomická v Praze
Vysoká škola ekonomická v Praze Fakulta informatiky a statistiky Katedra informačního a znalostního inženýrství Student Vedoucí bakalářské práce : Marek Nekvasil : RNDr. Jiřina Vejnarová, CSc. TÉMA BAKALÁŘSKÉ
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í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í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í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. 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í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íceImplikace letitá, ale stále atraktivní dáma
Implikace letitá, ale stále atraktivní dáma Jan Kábrt Proč se zajímat o logiku a v ní právě o implikaci? Mimo jiné pro souvislost s takovými oblastmi lidského myšlení, jako jsou matematika, ostatní přírodní
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íceBooleovská algebra. Pravdivostní tabulka. Karnaughova mapa. Booleovské n-krychle. Základní zákony. Unární a binární funkce. Podmínky.
Booleovská algebra. Pravdivostní tabulka. Karnaughova mapa. Booleovské n-krychle. Základní zákony. Unární a binární funkce. Podmínky. Tomáš Bayer bayertom@natur.cuni.cz Katedra aplikované geoinformatiky
VíceLogika. Akademie managementu a komunikace, Praha PhDr. Peter Jan Kosmály, PhD.
Akademie managementu a komunikace, Praha PhDr. Peter Jan Kosmály, PhD. Tematické okruhy: 1. Stručné dějiny logiky a její postavění ve vědě 2. Analýza složených výroků pomocí pravdivostní tabulky 3. Subjekt-predikátová
Ví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ícePravda jako funkce - ano, nebo ne?
Pravda jako funkce - ano, nebo ne? Nehledě na to, jestli jsou pravidla pro logickou platnost zabudována v našem myšlení, nebo nikoliv, máme velmi silné intuice o platnosti a neplatnosti nejrůznějších úsudků.
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íceVýrok je každá oznamovací věta (sdělení), u níž dává smysl, když uvažujeme, zda je buď pravdivá, nebo nepravdivá.
Výroková logika I Výroková logika se zabývá výroky. (Kdo by to byl řekl. :-)) Výrok je každá oznamovací věta (sdělení), u níž dává smysl, když uvažujeme, zda je buď pravdivá, nebo nepravdivá. U výroku
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í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íceLogika I. RNDr. Kateřina Trlifajová PhD. Katedra teoretické informatiky Fakulta informačních technologíı BI-MLO, ZS 2011/12
Logika I. 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íceMatematická analýza 1
Matematická analýza 1 ZS 2019-20 Miroslav Zelený 1. Logika, množiny a základní číselné obory 2. Limita posloupnosti 3. Limita a spojitost funkce 4. Elementární funkce 5. Derivace 6. Taylorův polynom Návod
VíceVÝROKOVÁ LOGIKA. Výrok srozumitelná oznamovací věta (výraz, sdělení), která může být buď jen pravdivá nebo jen nepravdivá..
VÝROKOVÁ LOGIKA Teorie: Logika je vědní obor zabývající se studiem různých forem vyjadřování a pravidel správného posuzování. (Matematická logika je součástí tohoto vědního oboru a ve velké míře užívá
Ví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íce- existuje..., negace: pro všechny neplatí,... - pro všechna..., negace: existuje, že neplatí,...
.4.0 Formální logika shrnutí Předpoklady: 00409 Shrnutí logiky Důležité znalosti konjunkce, a b, "a", pravda, jen když jsou oba výroky pravdivé (jako průnik) disjunkce, a b, "nebo", lež, jen když jsou
VíceLogika. Dana Nejedlová Katedra informatiky Ekonomická fakulta Technická univerzita v Liberci
Logika Dana Nejedlová Katedra informatiky Ekonomická fakulta Technická univerzita v Liberci 1 Úloha logiky v umělé inteligenci převést fakta na formalizované výroky, se kterými se dá automatizovaně operovat
VíceSTRUKTURA POČÍTAČŮ JIŘÍ HRONEK, JIŘÍ MAZURA KATEDRA INFORMATIKY PŘÍRODOVĚDECKÁ FAKULTA UNIVERZITA PALACKÉHO
KATEDRA INFORMATIKY PŘÍRODOVĚDECKÁ FAKULTA UNIVERZITA PALACKÉHO STRUKTURA POČÍTAČŮ JIŘÍ HRONEK, JIŘÍ MAZURA VÝVOJ TOHOTO UČEBNÍHO TEXTU JE SPOLUFINANCOVÁN EVROPSKÝM SOCIÁLNÍM FONDEM A STÁTNÍM ROZPOČTEM
Více4.9.70. Logika a studijní předpoklady
4.9.70. Logika a studijní předpoklady Seminář je jednoletý, je určen pro studenty posledního ročníku čtyřletého studia, osmiletého studia a sportovní přípravy. Cílem přípravy je orientace ve formální logice,
VíceMatematická logika. 1
Matematická logika. 1 Obsah 1. Úvod... 2 2. Výroková logika... 8 2.1. Sémantický výklad výrokové logiky.... 8 Převod z přirozeného jazyka do symbolického jazyka výrokové logiky:... 10 Výrokově logická
VíceNepřijde a nedám 100 Kč měl jsem pravdu, o této
1.4.4 Implikace Předpoklady: 010403 Implikace Implikace libovolných výroků a,b je výrok, který vznikne jejich spojením slovním obratem jestliže, pak, píšeme a b a čteme jestliže a, pak b. Výroku a se říká
VíceInteligentní systémy (TIL) Marie Duží
Inteligentní systémy (TIL) Marie Duží http://www.cs.vsb.cz/duzi/ /d Přednáška 3 Sémantické schéma Výraz vyjadřuje označuje Význam (konstrukce konstrukce) k ) konstruuje denotát Ontologie TIL: rozvětvená
VíceDatabázové systémy. * relační kalkuly. Tomáš Skopal. - relační model
Databázové systémy Tomáš Skopal - relační model * relační kalkuly Osnova přednášky relační kalkuly doménový n-ticový Relační kalkuly využití aparátu predikátové logiky 1. řádu pro dotazování rozšíření
VíceÚvod do logiky (PL): logický čtverec (cvičení)
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 (cvičení) doc. PhDr. Jiří
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í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íceNegace bázového atomu Negace atomu s existenčním termem Negace klauzule Negace množiny klauzulí Predikát rovnosti. Klauzulární logika
Vlastnosti klauzulí, negace Šárka Vavrečková Ústav informatiky, Filozoficko-přírodovědecká fakulta Slezské univerzity v Opavě sarka.vavreckova@fpf.slu.cz 27. října 2008 Věta o transferu bázového atomu
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í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íce1. Výroky a operace s nimi
1. Výroky a operace s nimi 1. Rozhodněte, zda se jedná o výrok, případně určete, zda je pravdivý či nepravdivý: a) Úhlopříčky čtverce nejsou navzájem kolmé. b) Existuje trojúhelník, který je rovnoramenný.
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íceKOMBINAČNÍ LOGICKÉ OBVODY
KOMBINAČNÍ LOGICKÉ OBVODY Použité zdroje: http://cs.wikipedia.org/wiki/logická_funkce http://www.ibiblio.org http://martin.feld.cvut.cz/~kuenzel/x13ups/log.jpg http://www.mikroelektro.utb.cz http://www.elearn.vsb.cz/archivcd/fs/zaut/skripta_text.pdf
VíceÚvod do TI - logika Výroková logika - pokračování (3.přednáška) Marie Duží
Úvod do TI - logika Výroková logika - pokračování (3.přednáška) Marie Duží marie.duzi@vsb.cz Normální formy formulí výrokové logiky Každé formuli výrokové logiky přísluší právě jedna pravdivostní funkce,
VíceStudijní text. Co je výroková logika. Výrokem se již od dob staré antiky rozumí věta, která je pravdivá nebo nepravdivá, tj. má pravdivostní hodnotu.
Studijní text Co je výroková logika Výrokem se již od dob staré antiky rozumí věta, která je pravdivá nebo nepravdivá, tj. má pravdivostní hodnotu. Pravdivostní hodnoty jsou dvě: pravda (označujeme také
VíceCvičení 4. negace konjunkce disjunkce implikace ekvivalence. a) Najděte UDNF, UKNF a stanovte log. důsledky. 1) [p (p q)] [( p q) (q p)]
Cvičení 4 negace konjunkce disjunkce implikace ekvivalence a) Najděte UDNF, UKNF a stanovte log. důsledky 1) [p (p q)] [( p q) (q p)] p q p q p q q p p A B C D E UEK UED A B C D E F 0 0 1 1 0 0 0 1 p q
VíceUNIVERZITA KARLOVA V PRAZE. Pedagogická fakulta. Katedra matematiky a didaktiky matematiky. Metody řešení slovních úloh pomocí logiky
UNIVERZITA KARLOVA V PRAZE Pedagogická fakulta Katedra matematiky a didaktiky matematiky Metody řešení slovních úloh pomocí logiky Autor: Helena Bartlová Vedoucí práce: Prof. RNDr. Jarmila Novotná, CSc.
VíceVysoké učení technické v Brně Fakulta elektrotechniky a informatiky Ústav biomedicínského inženýrství EXPERTNÍ SYSTÉMY.
Vysoké učení technické v Brně Fakulta elektrotechniky a informatiky Ústav biomedicínského inženýrství EXPERTNÍ SYSTÉMY praktická cvičení Ing. Ivo Provazník, Ph.D., Ing. Jana Bardoňová 2000 Obsah 1 Úvod
VíceLogika III. RNDr. Kateřina Trlifajová PhD. Katedra teoretické informatiky Fakulta informačních technologíı BI-MLO, ZS 2011/12
Logika III. 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íceÚvod do logiky a logického programování.
Úvod do logiky a logického programování Luboš Popelínský popel@fi.muni.cz www.fi.muni.cz/~popel Přehled učiva Opakování základů výrokové a predikátové logiky Normální formy ve výrokové a predikátové logice
VíceDISKRÉTNÍ MATEMATIKA PRO INFORMATIKY I
KATEDRA INFORMATIKY PŘÍRODOVĚDECKÁ FAKULTA UNIVERZITA PALACKÉHO DISKRÉTNÍ MATEMATIKA PRO INFORMATIKY I RADIM BĚLOHLÁVEK, VILÉM VYCHODIL VÝVOJ TOHOTO UČEBNÍHO TEXTU JE SPOLUFINANCOVÁN EVROPSKÝM SOCIÁLNÍM
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á logika II. Negace. Již víme, že negace je změna pravdivostní hodnoty výroku (0 1; 1 0).
Výroková logika II Negace Již víme, že negace je změna pravdivostní hodnoty výroku (0 1; 1 0). Na konkrétních příkladech si ukážeme, jak se dají výroky negovat. Obecně se výrok dá negovat tak, že před
Ví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í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íceÚvod do logiky (VL): 7. Ekvivalentní transformace
Logika: systémový rámec rozvoje oboru v ČR a koncepce logických propedeutik pro mezioborová studia (reg. č. CZ.1.07/2.2.00/28.0216, OPVK) Úvod do logiky (VL): 7. Ekvivalentní transformace doc. PhDr. Jiří
VíceÚvod do logiky (VL): 5. Odvození výrokových spojek z jiných
Logika: systémový rámec rozvoje oboru v ČR a koncepce logických propedeutik pro mezioborová studia (reg. č. CZ.1.07/2.2.00/28.0216, OPVK) Úvod do logiky (VL): 5. Odvození z jiných doc. PhDr. Jiří Raclavský,
Ví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. 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íceVyrokova logika. Zakladnim pojmem vyrokove logiky je vyrok.
Vyrokova logika Zakladnim pojmem vyrokove logiky je vyrok. V tzv. dvouhodnotove logice vyrokem rozumime tvrzeni (oznamovaci větu), o kterem je smysluplne prohlasit, zda je pravdive či nikoliv. Je-li tvrzeni
Více1. Základy logiky a teorie množin
. Základy logiky a teorie množin Studijní text. Základy logiky a teorie množin A. Logika Matematická logika vznikla v 9. století. Jejím zakladatelem byl anglický matematik G. Boole (85 864). Boole prosadil
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 Ú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íceDUM 02 téma: Elementární prvky logiky výklad
DUM 02 téma: Elementární prvky logiky výklad ze sady: 01 Logické obvody ze šablony: 01 Automatizační technika I Určeno pro 3. ročník vzdělávací obor: 26-41-M/01 Elektrotechnika ŠVP automatizační technika
VíceRejstřík. anotace 167 krok 167 nepřímý 169 podmiňovaný 181 rezolucí 210 rozborem případů 170 sporem 170 z hypotéz 167 z předpokladů 167 Duns Scotus 79
Rejstřík Rejstřík A antecedent 27 Aristotelés 13 axiom 163 nezávislá množina 164 axiomatické systémy 163 axiom distributivity 222 axiomová schémata 164 B Beth 197 bezesporný 171 Bolzano 14 booleovské funktory
VíceVysoké učení technické v Brně. Fakulta strojního inženýrství. Matematika. Příručka pro přípravu k přijímacím zkouškám
Vysoké učení technické v Brně Fakulta strojního inženýrství Matematika Příručka pro přípravu k přijímacím zkouškám Doc. PaedDr. Dalibor Martišek, Ph.D. RNDr. Milana Faltusová 5 Autoři: Lektorovala: Doc.
Více7 Jemný úvod do Logiky
7 Jemný úvod do Logiky Základem přesného matematického vyjadřování je správné používání (matematické) logiky a logických úsudků. Logika jako filozofická discipĺına se intenzivně vyvíjí už od dob antiky,
Ví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íceDodatek č. 3 ke školnímu vzdělávacímu programu. Strojírenství. (platné znění k 1. 9. 2009)
Střední průmyslová škola Jihlava tř. Legionářů 1572/3, Jihlava Dodatek č. 3 ke školnímu vzdělávacímu programu Strojírenství (platné znění k 1. 9. 09) Tento dodatek nabývá platnosti dne 1. 9. 13 (počínaje
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íceMNOŽINY. x A. Jeho varianty paradox mostu se šibenicí, paradox holiče.
MNOŽINY Naivní definice (pojetí): Množina [set] je přesně definovaný soubor prvků, které mají nějakou vlastnost. O čemkoliv je třeba umět jednoznačně rozhodnout, zda do dané množiny patří či nikoliv. Vztah
VíceKMA/MDS Matematické důkazy a jejich struktura
Modernizace studijního programu Matematika na PřF Univerzity Palackého v Olomouci CZ.1.07/2.2.00/28.0141 KMA/MDS Matematické důkazy a jejich struktura Seminář 1 Cílem tohoto semináře je efektivní uvedení
VíceArchitektura počítačů Logické obvody
Architektura počítačů Logické obvody http://d3s.mff.cuni.cz/teaching/computer_architecture/ Lubomír Bulej bulej@d3s.mff.cuni.cz CHARLES UNIVERSITY IN PRAGUE faculty of mathematics and physics 2/36 Digitální
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íce