LOGIKA VÝROKOVÁ LOGIKA

Save this PDF as:
 WORD  PNG  TXT  JPG

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

Download "LOGIKA VÝROKOVÁ LOGIKA"

Transkript

1 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á, odvozovací pravidla. Rozšířením je predikátová logika - kvantifikátory

2 VÝROKOVÁ LOGIKA Výrok tvrzení, o němž má smysl prohlásit, že je pravdivé či nepravdivé (oznamovací věta, zápis pomocí matematických symbolů) pravdivost či nepravdivost výroku pravdivostní hodnota p(a) = 0 nepravda p(a) = 1 pravda

3 Výroky? Venku prší. Pojedeme k moři? V roce 2011 bylo v Japonsku zemětřesení. Honza je vysoký. Součet vnitřních úhlů v trojúhelníku je 180. Do roku 2050 bude na Marsu život. Podej mi tužku, prosím.

4 Výroky? = = = 2x Britney Spears je dobrá zpěvačka. Praha má více obyvatel než Madrid. Rekonstrukce dálnice D1. Smažte prosím tabuli!

5 Výroková formule Výraz obsahující proměnné, z něhož se stane výrok po dosazení konkrétních prvků ze zadané množiny (definiční obor) za tyto proměnné. Množinu prvků z definičního oboru, pro které po dosazení dostaneme pravdivý výrok, nazýváme obor pravdivosti dané výrokové formy = 2x Číslo a < 8

6 Negace výroku Výrok, který má opačnou pravdivostní hodnotu než výrok daný. Nejjednodušší způsob vytvoření negace: Není pravda, že. Hovoří-li daný výrok o určitých možnostech, musí jeho negace zahrnovat všechny možnosti zbývající. Značíme: máme výrok A negace A

7 Negace výroku Číslo 11 není prvočíslo. Praha je větší město než Madrid. Tento svetr je černý. Přesně 25 studentů je dnes na přednášce. Z těchto 25 studentů bydlí nejvýše 7 studentů v ČB. Všichni žáci postoupili do vyššího ročníku. Každý čtyřúhelník je čtverec.

8 A : Každý prvek množiny M má danou vlastnost. A: Alespoň jeden prvek množiny M nemá danou vlastnost. A : Alespoň jeden prvek množiny M má danou vlastnost. A: Žádný prvek množiny M nemá danou vlastnost. A : Množina M má alespoň k prvků. A: Množina M má nejvýše k-1 prvků. A : Množina M má nejvýše k prvků. A: Množina M má alespoň k+1 prvků. A : Množina M má právě k prvků. A: Množina M má nejvýše k-1 prvků nebo alespoň k+1 prvků

9 Složené výroky konjunkce Konjunkce libovolných výroků a, b je výrok, který vznikne jejich spojením spojkou a. Konjunkci čteme a a zároveň b. Konjunkce libovolných výroků je pravdivá pouze tehdy, když jsou pravdivé oba výroky a,b. Značíme: a b

10 Složené výroky disjunkce Disjunkce libovolných výroků a, b je výrok, který vznikne jejich spojením spojkou nebo. Disjunkci čteme a nebo b. Disjunkce libovolných výroků je pravdivá pouze tehdy, je-li pravdivý alespoň jeden z výroků a,b. Značíme: a b

11 Složené výroky ostrá disjunkce Ostrá disjunkce libovolných výroků a, b je výrok, který vznikne jejich spojením slovy buď a nebo b. Ostrá disjunkce libovolných výroků je pravdivá pouze tehdy, Když je pravdivý právě jeden z výroků a,b. Značíme: a b

12 Negace konjunkce Platí : (a b) = a b Negace disjunkce Platí : (a b) = a b

13 Složené výroky implikace Implikace vznikne, když dva výroky a, b spojíme pomocí slovního spojení jestliže a, pak b. Implikace je nepravdivá v jediném případě, když je první výrok pravdivý a druhý nepravdivý. V ostatních případech je implikace pravdivá (také v obou případech, když první výrok je nepravdivý). Značíme: a b

14 Složené výroky ekvivalence Ekvivalence vznikne, když dva výroky a, b spojíme pomocí slovního spojení a právě tehdy, když b. Ekvivalence je pravdivá pouze tehdy, mají-li oba výroky stejnou pravdivostní hodnotu (buď jsou oba pravdiví nebo oba nepravdivé). Značíme: a b Platí: a b (a b) (b a)

15 Negace implikace Platí : a b a b Negace ekvivalence a b (a b) ( a b) a b

16 Obrácená implikace Obrácenou implikací k implikaci a implikace b a. b nazýváme Obměna implikace Obměnou implikace a b nazýváme implikaci b a. Obměna implikace má vždy stejnou pravdivostní hodnotu jako implikace původní (logicky ekvivalentní). Důkaz nepřímý.

17 Tautologie Složený výrok je vždy pravdivý. Kontradikce Složený výrok je vždy nepravdivý. Logické spojky,,,, Kvantifikátory,,

Výroková logika se zabývá výroky.

Výroková logika se zabývá výroky. ARIP 2 Cv. 2 Výroková logika se zabývá výroky. Výroková logika je vyjadřovací prostředek matematiky Výrok je každá dobře srozumitelná oznamovací věta, u které má smysl ptát se, zda je pravdivá nebo nepravdivá.

Více

λογος - LOGOS slovo, smysluplná řeč )

λογος - 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íce

VÝ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. 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íce

výrok-každésdělení,uněhožmásmyslseptát,zdaječinenípravdivé, aproněžprávějednaztěchtodvoumožnostínastává.

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

M - Výroková logika VARIACE

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

Základní pojmy matematické logiky

Základní pojmy matematické logiky KAPITOLA 1 Základní pojmy matematické logiky Matematická logika se zabývá studiem výroků, jejich vytváření a jejich pravdivostí. Základním kamenem výrokové logiky jsou výroky. 1. Výroková logika Co je

Více

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

Místo pojmu výroková formule budeme používat zkráceně jen formule. Při jejich zápisu VÝROKOVÁ LOGIKA Matematická logika se zabývá studiem výroků, jejich vytváření a jejich pravdivostí. Základním kamenem výrokové logiky jsou výroky. Co je výrok nedefinujejme, pouze si řekneme, co si pod

Více

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

teorie logických spojek chápaných jako pravdivostní funkce Výroková logika teorie logických spojek chápaných jako pravdivostní funkce zabývá se způsoby tvoření výroků pomocí spojek a vztahy mezi pravdivostí různých výroků používá specifický jazyk složený z výrokových

Více

1. MATEMATICKÁ LOGIKA A MNOŽINY

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

[a) (4 (7 + 5) = 4 12) (4 12 = 48); b) ( 1< 1) (1< 3); c) ( 35 < 18) ( 35 = 18)]

[a) (4 (7 + 5) = 4 12) (4 12 = 48); b) ( 1< 1) (1< 3); c) ( 35 < 18) ( 35 = 18)] Úloha 1 U každé dvojice výroků rozhodněte, zda výrok uvedený vpravo je negací výroku vlevo. Pokud tomu tak není, zdůvodněte proč. a) p: Mám bílý svetr. q: Mám černý svetr. b) r: Bod A leží vně kruhu K.

Více

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

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

0. Ú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íce

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

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

Více

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

Výroková logika. Teoretická informatika Tomáš Foltýnek Výroková logika Teoretická informatika Tomáš Foltýnek foltynek@pef.mendelu.cz Teoretická informatika strana 2 Opakování z minulé přednášky Co je to formalismus a co je jeho cílem? Formulujte Russelův paradox

Více

VÝUKOVÝ MATERIÁL. Bratislavská 2166, 407 47 Varnsdorf, IČO: 18383874 www.vosassvdf.cz, tel. +420412372632 Číslo projektu

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

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

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

Výrok je každá oznamovací věta (sdělení), u níž dává smysl, když uvažujeme, zda je buď pravdivá, nebo nepravdivá.

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

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

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

Úvod do informatiky. Miroslav Kolařík

Úvod do informatiky. Miroslav Kolařík Úvod do informatiky přednáška první Miroslav Kolařík Zpracováno dle učebního textu prof. Bělohlávka: Úvod do informatiky, KMI UPOL, Olomouc 2008. Obsah 1 Co a k čemu je logika? 2 Výroky a logické spojky

Více

1. Matematická logika

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

09. seminář logika (úvod, výroková).notebook. November 30, 2011. Logika

09. seminář logika (úvod, výroková).notebook. November 30, 2011. Logika Logika 1 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

Více

Výroková logika. p, q, r...

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

Matematická logika. Rostislav Horčík. horcik

Matematická logika. Rostislav Horčík.  horcik Matematická logika Rostislav Horčík horcik@math.feld.cvut.cz horcik@cs.cas.cz www.cs.cas.cz/ horcik Rostislav Horčík (ČVUT FEL) Y01MLO Letní semestr 2007/2008 1 / 15 Sémantická věta o dedukci Věta Pro

Více

Výroková logika - opakování

Výroková logika - opakování - opakování ormální zavedení Výroková formule: Máme neprázdnou nejvýše spočetnou množinu A výrokových proměnných. 1. Každá proměnná je výroková formule 2. Když α, β jsou formule, potom ( α), (α β), (α

Více

Matematická logika. Miroslav Kolařík

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

Negace výroku. Příklad 1. Rozhodněte, zda jsou věty výroky, u výroků určete pravdivostní hodnotu:

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

Organizace. Zápočet: test týden semestru (pátek) bodů souhrnný test (1 pokus) Zkouška: písemná část ( 50 bodů), ústní část

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

Nepřijde a nedám 100 Kč měl jsem pravdu, o této

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

Matematické důkazy Struktura matematiky a typy důkazů

Matematické důkazy Struktura matematiky a typy důkazů Matematické důkazy Struktura matematiky a typy důkazů Petr Liška Masarykova univerzita 18.9.2014 Motto: Matematika je tvořena z 50 procent formulemi, z 50 procent důkazy a z 50 procent představivostí.

Více

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

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

Více

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

Predikátová logika. Teoretická informatika Tomáš Foltýnek Predikátová logika Teoretická informatika Tomáš Foltýnek foltynek@pef.mendelu.cz strana 2 Opakování z minulé přednášky Z čeho se skládá jazyk výrokové logiky? Jaká jsou schémata pro axiomy VL? Formulujte

Více

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

ZÁKLADY LOGIKY A METODOLOGIE

ZÁKLADY LOGIKY A METODOLOGIE ZÁKLADY LOGIKY A METODOLOGIE Metodický list č. 1 Téma: Předmět logiky a metodologie, základy logiky a formalizace. Toto téma lze rozdělit do tří základních tématických oblastí: 1) Předmět logiky a metodologie

Více

1. Výroky a operace s nimi

1. 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 matematiky. Mgr. Radek Horenský, Ph.D. Důkazy

Úvod do matematiky. Mgr. Radek Horenský, Ph.D. Důkazy Úvod do matematiky Mgr. Radek Horenský, Ph.D. Důkazy Matematika a matematické chápání jako takové je založeno na logické výstavbě. Základními stavebními prvky jsou definice, věty a důkazy. Definice zavádějí

Více

7 Jemný úvod do Logiky

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

Více

Matematická logika. Rostislav Horčík. horcik

Matematická logika. Rostislav Horčík.  horcik Matematická logika Rostislav Horčík horcik@math.feld.cvut.cz horcik@cs.cas.cz www.cs.cas.cz/ horcik Rostislav Horčík (ČVUT FEL) Y01MLO Letní semestr 2007/2008 1 / 18 Příklad Necht L je jazyk obsahující

Více

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

Disjunktivní a konjunktivní lní tvar formule. 2.přednáška Disjunktivní a konjunktivní normáln lní tvar formule 2.přednáška Disjunktivní normáln lní forma Definice Řekneme, že formule ( A ) je v disjunktivním normálním tvaru (formě), zkráceně v DNF, jestliže je

Více

Normální formy. (provizorní text)

Normální formy. (provizorní text) Normální formy (provizorní text) Výrokový počet Definice. Jazyk výrokového počtu obsahuje výrokové proměnné p, q, r, s,..., spojky,,,.. a závorky (,). Výrokové proměnné jsou formule. Jestliže a jsou formule,

Více

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

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

Více

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,

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

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

6. Logika a logické systémy. Základy logiky. Lucie Koloušková, Václav Matoušek / KIV. Umělá inteligence a rozpoznávání, LS 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íce

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

Predikátová logika. prvního řádu Predikátová logika prvního řádu 2 Predikát Predikát je n-ární relace - vyjadřuje vlastnosti objektů a vztahy mezi objekty - z jednoduchého výroku vznikne vypuštěním alespoň jednoho jména objektu (individua)

Více

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

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

Více

1. Predikátová logika jako prostedek reprezentace znalostí

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

Slož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.

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

Predikátová logika dokončení

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

Více

Gymnázium Jiřího Ortena, Kutná Hora

Gymnázium Jiřího Ortena, Kutná Hora Předmět: Náplň: Třída: Počet hodin: Pomůcky: Matematika Základní poznatky, Rovnice a nerovnice, Planimetrie 1. část 1. ročník a kvinta 4 hodiny týdně PC a dataprojektor, učebnice Základní poznatky Číselné

Více

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

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

Úvod do logiky (VL): 5. Odvození výrokových spojek z jiných

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

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

Výroková a predikátová logika - II Výroková a predikátová logika - II Petr Gregor KTIML MFF UK ZS 2017/2018 Petr Gregor (KTIML MFF UK) Výroková a predikátová logika - II ZS 2017/2018 1 / 17 Předběžnosti Základní pojmy n-ární relace a funkce

Více

1.4.6 Stavba matematiky, důkazy

1.4.6 Stavba matematiky, důkazy 1.4.6 tavba matematiky, důkazy Předpoklady: 1401, 1404 Pedagogická poznámka: Tato hodina se velmi liší od většiny ostatních neboť jde v podstatě o přednášku. Také ji neprobíráme v prvním ročníku, ale přednáším

Více

Úvod do logiky (PL): negace a ekvivalence vět mimo logický

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

Lehký úvod do výrokové logiky (nejen pro ty, kteří se připravují na TSP MU) část první

Lehký úvod do výrokové logiky (nejen pro ty, kteří se připravují na TSP MU) část první Lehký úvod do výrokové logiky (nejen pro ty, kteří se připravují na TSP MU) část první PRACOVNÍ VERZE TEXTU, KTERÁ BUDE DÁLE UPRAVOVÁNA TEXT SLOUŽÍ PRO POTŘEBY ÚČASTNÍKŮ EMAILOVÉHO SEMINÁŘE RESENI-TSP.CZ

Více

Která tvrzení jsou pravdivá nezávisle na tom, který den v týdnu byla vyslovena? Tvrzení trosečníka Dana.

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

Přednáška 3: rozhodování o platnosti úsudku

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

Matematika B101MA1, B101MA2

Matematika B101MA1, B101MA2 Matematika B101MA1, B101MA2 Zařazení předmětu: povinný předmět 1.ročníku bc studia 2 semestry Rozsah předmětu: prezenční studium 2 + 2 kombinované studium 16 + 0 / semestr Zakončení předmětu: ZS zápočet

Více

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

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

Více

Binární logika Osnova kurzu

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

Výrok je každá dobře srozumitelná oznamovací věta, u které má smysl ptát se, zda je pravdivá nebo nepravdivá.

Výrok je každá dobře srozumitelná oznamovací věta, u které má smysl ptát se, zda je pravdivá nebo nepravdivá. ARNP 1 2015 Př. 1 VÝROK, PRAVDIVOSTNÍ HODNOTA VÝROKU Výroková logika se zabývá výroky. Výroková logika je vyjadřovací prostředek matematiky Výrok je každá dobře srozumitelná oznamovací věta, u které má

Více

1. ÚVOD. Arnošt Žídek, Iveta Cholevová. 15. října 2013 FBI VŠB-TUO

1. ÚVOD. Arnošt Žídek, Iveta Cholevová. 15. října 2013 FBI VŠB-TUO FBI VŠB-TUO 15. října 2013 Kontaktní informace Mgr. Iveta Cholevová, Ph. D. iveta.cholevova@vsb.cz A829, 597 324 146 Mgr. Arnošt Žídek, Ph. D. arnost.zidek@vsb.cz A832, 597 324 177 Předpokládané znalosti

Více

Rozvoj logického a funkčního myšlení v matematice

Rozvoj logického a funkčního myšlení v matematice Rozvoj logického a funkčního myšlení v matematice Matematické myšlení Myšlení je nejvyšší forma aktuálního odrazu objektivní skutečnosti, spočívající v cílevědomém, zprostředkovaném a zobecněném poznávání

Více

4.9.70. Logika a studijní předpoklady

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

1.4.2 Složené výroky konjunkce a disjunkce

1.4.2 Složené výroky konjunkce a disjunkce 1.4.2 Složené výroky konjunkce a disjunkce Předpoklady: 1401 Složené výroky = souvětí, výroky složené z více jednoduchých výroků Výrok: Číslo 5 je sudé a je prvočíslo. Sestavený ze dvou výroků: 1. výrok:

Více

Bakalářská matematika I

Bakalářská matematika I do předmětu Mgr. Jaroslav Drobek, Ph. D. Katedra matematiky a deskriptivní geometrie Bakalářská matematika I Podmínky absolvování předmětu Zápočet Zkouška 1 účast na přednáškách alespoň v minimálním rozsahu,

Více

Úvod do logiky (VL): 8. Negace výroků

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

Maturitní otázky Matematika

Maturitní otázky Matematika Maturitní otázky Matematika také v tištěné verzi Objednat můžete na www.fragment.cz. Doporučujeme další e-knihy v edici: Maturitní otázky Český jazyk e-kniha Maturitní otázky Literatura e-kniha Maturitní

Více

1.4.3 Složené výroky konjunkce a disjunkce

1.4.3 Složené výroky konjunkce a disjunkce 1.4.3 Složené výroky konjunkce a disjunkce Předpoklady: 010402 Složené výroky = souvětí, výroky složené z více jednoduchých výroků. Výrok: Číslo 5 je sudé a je prvočíslo. Sestavený ze dvou výroků: 1. výrok:

Více

1 Základní pojmy. 1.1 Množiny

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

Predikátová logika [Predicate logic]

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

4.2 Syntaxe predikátové logiky

4.2 Syntaxe predikátové logiky 36 [070507-1501 ] 4.2 Syntaxe predikátové logiky V tomto oddíle zavedeme syntaxi predikátové logiky, tj. uvedeme pravidla, podle nichž se tvoří syntakticky správné formule predikátové logiky. Význam a

Více

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

Výroková a predikátová logika - VI Výroková a predikátová logika - VI Petr Gregor KTIML MFF UK ZS 2017/2018 Petr Gregor (KTIML MFF UK) Výroková a predikátová logika - VI ZS 2017/2018 1 / 24 Predikátová logika Úvod Predikátová logika Zabývá

Více

Logika a logické programování

Logika a logické programování Logika a logické programování témata ke zkoušce Poslední aktualizace: 16. prosince 2009 Zkouška je písemná, skládá se obvykle ze sedmi otázek (může být více nebo méně, podle náročnosti otázek), z toho

Více

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

Logika. Akademie managementu a komunikace, Praha PhDr. Peter Jan Kosmály, PhD. Akademie managementu a komunikace, Praha PhDr. Peter Jan Kosmály, PhD. Tematické okruhy: 1. Stručné dějiny logiky a její postavění ve vědě 2. Analýza složených výroků pomocí pravdivostní tabulky 3. Subjekt-predikátová

Více

Úvod do logiky (PL): logický čtverec (cvičení)

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

1.4.6 Negace složených výroků I

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

KMA/MDS Matematické důkazy a jejich struktura

KMA/MDS Matematické důkazy a jejich struktura Modernizace studijního programu Matematika na PřF Univerzity Palackého v Olomouci CZ.1.07/2.2.00/28.0141 KMA/MDS Matematické důkazy a jejich struktura Seminář 1 Cílem tohoto semináře je efektivní uvedení

Více

Marie Duží

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

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

Logika. Akademie managementu a komunikace, Praha PhDr. Peter Jan Kosmály, PhD. Akademie managementu a komunikace, Praha PhDr. Peter Jan Kosmály, PhD. Tematické okruhy: 1. Stručné dějiny logiky a její postavění ve vědě 2. Analýza složených výroků pomocí pravdivostní tabulky 3. Subjekt-predikátová

Více

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

Úvod do TI - logika Predikátová logika 1.řádu (4.přednáška) Marie Duží marie.duzi@vsb.cz Úvod do TI - logika Predikátová logika 1.řádu (4.přednáška) Marie Duží marie.duzi@vsb.cz Jednoduché úsudky, kde VL nestačí Všechny opice mají rády banány Judy je opice Judy má ráda banány Z hlediska VL

Více

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

Abstrakt Text je určen jako doplňkový k přednášce Matematická logika a Paradigmata programování 4. Abstrakt Text je určen jako doplňkový k přednášce Matematická logika a Paradigmata programování 4. 1 Matematická logika - poznámky k přednáškám Radim Bělohlávek 29. května 2003 1 Co je (matematická) logika?

Více

Základy informatiky. Výroková logika

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

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

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

Více

Základní poznatky, Rovnice a nerovnice, Planimetrie 1. část

Základní poznatky, Rovnice a nerovnice, Planimetrie 1. část Předmět: Náplň: Třída: Počet hodin: Pomůcky: Matematika Základní poznatky, Rovnice a nerovnice, Planimetrie 1. část 1. ročník 4 hodiny týdně PC a dataprojektor Číselné obory Přirozená a celá čísla Racionální

Více

Matematická logika. Rostislav Horčík. horcik

Matematická logika. Rostislav Horčík.  horcik Matematická logika Rostislav Horčík horcik@math.feld.cvut.cz horcik@cs.cas.cz www.cs.cas.cz/ horcik Rostislav Horčík (ČVUT FEL) Y01MLO Letní semestr 2007/2008 1 / 15 Splnitelnost množin Definice Množina

Více

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

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

Více

Výroková logika (5) 1. Základní pojmy Ke každé větě dopište do závorky, zda věta je pravda, či nepravda.

Výroková logika (5) 1. Základní pojmy Ke každé větě dopište do závorky, zda věta je pravda, či nepravda. m_1_vyrok_priklady 6.5.011 1/9 m_1_vyrok_priklady 6.5.011 /9 Výroková logika (5) 1. Základní pojmy Ke každé větě dopište do závorky, zda věta je pravda, či nepravda. A: Číslo 6 je dělitelné 5-ti. (nepravda)

Více

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

Výroková a predikátová logika - III Výroková a predikátová logika - III Petr Gregor KTIML MFF UK ZS 2017/2018 Petr Gregor (KTIML MFF UK) Výroková a predikátová logika - III ZS 2017/2018 1 / 16 2-SAT 2-SAT Výrok je v k-cnf, je-li v CNF a

Více

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.

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

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

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

LITERATURA. Čechák V.: Základy logiky a metodologie. Praha Eupress 2007

LITERATURA. Čechák V.: Základy logiky a metodologie. Praha Eupress 2007 ÚVOD DO MATEMATICKÉ LOGIKY 1 LITERATURA Čechák V.: Základy logiky a metodologie. Praha Eupress 2007 2 Svátek J., Dostálová L.: Logika pro humanistiku. Aleš Čeněk, Dobrá Voda 2003 Bokr J.:, Svátek J.: Základy

Více

Maturitní témata profilová část

Maturitní témata profilová část Seznam témat Výroková logika, úsudky a operace s množinami Základní pojmy výrokové logiky, logické spojky a kvantifikátory, složené výroky (konjunkce, disjunkce, implikace, ekvivalence), pravdivostní tabulky,

Více

Aplikovaná matematika I, NMAF071

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

Aristotelská logika. Pojem

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

1. Základy matematiky

1. Základy matematiky 1. Základy matematiky 1A. Výroková logika 1. Základy matematiky 1A. Výroková logika Logika se v češtině běžně používá ve smyslu myšlenková cesta, která vede k určitým závěrům. Logika patří k základům matematiky.

Více

Úplný systém m logických spojek. 3.přednáška

Úplný systém m logických spojek. 3.přednáška Úplný sstém m logických spojek 3.přednáška Definice Úplný sstém m logických spojek Řekneme, že množina logických spojek S tvoří úplný sstém logických spojek, jestliže pro každou formuli A eistuje formule

Více

Matematika vzorce. Ing. Petr Šídlo. verze

Matematika vzorce. Ing. Petr Šídlo. verze Matematika vzorce Ing. Petr Šídlo verze 0050409 Obsah Jazyk matematiky 3. Výrokový počet.......................... 3.. Logické spojky...................... 3.. Tautologie výrokového počtu...............

Více

Matematika I. Katedra matematiky a deskriptivní geometrie mdg.vsb.cz

Matematika I. Katedra matematiky a deskriptivní geometrie mdg.vsb.cz Matematika I Úvod Mgr. Iveta Cholevová, Ph. D iveta.cholevova@vsb.cz A 829, 597 324 146 Mgr. Jaroslav Drobek, Ph. D. jaroslav.drobek@vsb.cz, A 837, 597 324 101 Mgr. Arnošt Žídek arnost.zidek@vsb.cz, A

Více

KMA/MDS Matematické důkazy a jejich struktura

KMA/MDS Matematické důkazy a jejich struktura Modernizace studijního programu Matematika na PřF Univerzity Palackého v Olomouci CZ.1.07/2.2.00/28.0141 KMA/MDS Matematické důkazy a jejich struktura Seminář 2 Výroková logika pokračování Logické vyplývání

Více

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

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