1. Matematická logika

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

Download "1. Matematická logika"

Transkript

1 Moderní technologie ve studiu aplikované fyziky CZ.1.07/2.2.00/ 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ů dělá skutečnou vědu, je, že tyto poznatky logicky uspořádáme, vytvoříme z nich systém. A k tomu slouží logika. Pomocí logického myšlení, logickým odvozováním získáváme z daných faktů nová fakta nebo hypotézy. Tyto opět konfrontujeme s experimentem, neboť by se mohlo stát, že výchozí poznatky nezobrazují skutečnost správně. Pravidla logického odvozování se musí řídit jistými zákony: nesmí se například stát, abychom dospěli k logickému sporu, pokud tento již není v předpokladech. Je-li něco logicky sporné, pak to nemůže být pravdivé. Není-li to v logickém sporu, nemusí to být ještě pravda. Je třeba se opět obrátit ke skutečnosti, zda byla zobrazena správně. Logika tedy umožňuje vyloučit některé určitě nesprávné hypotézy. 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 si vybudovala svůj vlastní matematický jazyk. K jeho specifickým odlišnostem patří zejména významové rozlišení symbolů na konstanty a proměnné a užívání vět specifického druhu výroků. KONSTANTA, PROMĚNNÁ Konstanta je symbol, jehož význam se považuje za jednoznačně určený (významem je nejčastěji hodnota). Proměnná je symbol, jehož význam není určen jednoznačně, lze však za něj dosazovat konstanty podle určitých pravidel, aby příslušná věta měla smysl. 1

2 (a) Ve větě A je fyzikální veličina je fyzikální veličina konstanta, A je proměnná, za kterou lze dosazovat konstanty názvy fyzikálních veličin. (b) Ve větě 2 + x y jsou symboly 2, +, - konstanty, x, y proměnné, za které lze dosazovat konstanty čísla různého typu. Jak v matematice, tak v aplikacích se pak hovoří o konstantních, příp. proměnných veličinách. Při řešení každé úlohy je třeba mít od začátku zcela jasno, které veličiny se považují za konstanty a které za proměnné. V aplikačních úlohách toto rozlišení bezprostředně souvisí s podstatou a formulací úlohy. Je-li v úloze zadáno stanovit hodnotu normálového napětí zkoumaného vzorku, lze za konstantu považovat modul pružnosti materiálu, ze kterého je vzorek vyroben, za proměnnou pak pohyblivé hodnoty poměrného (relativního) prodloužení vzorku při jeho deformaci tahem. VÝROK Výrok je věta (gramaticky správná), u které má smysl rozhodovat, zda je pravdivá (platí) či nepravdivá (neplatí), přičemž může nastat právě jediná z těchto dvou možností. V tomto smyslu se za výroky považují i věty obsahující proměnné, o jejichž pravdivosti (nepravdivosti) se rozhodne až po dosazení konstant za všechny proměnné, případně podle konkrétní situace. (a) Věta Atom je nejmenší částice hmoty je výrok, který je nepravdivý. (b) Věta 2 je sudé číslo je výrok, který je pravdivý. (c) Věta není výrok. (d) Věta A je jednotka síly je výrok, o jehož pravdivosti (nepravdivosti) se rozhodne až po dosazení konstanty (názvu jednotky) za proměnnou A. (e) Věta Dobrý den není výrok. (f) Věta x + y 2 je výrok, o jehož pravdivosti (nepravdivosti) se rozhodne až po dosazení konstant (reálných čísel) za proměnné x, y. (g) Věta Současný král Středoevropské republiky je líný se nepovažuje za výrok, neboť skutečnost tvořící významové jádro věty reálně neexistuje. (h) Věta Výrobek má výšku větší než 1 metr je výrok, o jehož pravdivosti (nepravdivosti) lze rozhodnout v dané situaci měřením. (i) Věta Jsou mraky je výrok, jehož pravdivost (nepravdivost) závisí na konkrétní situaci. 2

3 OPERACE S VÝROKY K zadaným výrokům lze vhodným způsobem podle určitých pravidel konstruovat výroky nové. Hovoří se o operacích s výroky (též o skládání výroků); výsledkem je složený výrok. K základním operacím s výroky patří negace, konjunkce, disjunkce, implikace a ekvivalence. Negace výroku A je výrok není pravda, že A, který platí, jestliže A neplatí, a naopak; značí se A (non A). (a) Negace výroku A: x < 2 je výrok A: x 2. (b) Negace výroku A: výrobek je zmetek, je výrok A: výrobek není zmetek. (c) Negace výroku A: všichni studenti ve třídě jsou výborní, je výrok A: alespoň jeden student, ve třídě není výborný (pozor například výrok všichni studenti ve třídě nejsou výborní by nemusel být chápán v jednoznačném významu). Uvažujme nyní dva výroky A, B. Pak mohou nastat následující čtyři alternativy jejich platnosti či neplatnosti: i. A platí, B platí. ii. A platí, B neplatí. iii. A neplatí, B platí. iv. A neplatí, B neplatí. Konjunkce výroků A, B je výrok A a B, který platí pouze jestliže oba výroky A, B platí (tj. v případě i), jinak neplatí (tj, v případech ii, iii, iv); značí se též A B. Disjunkce výroků A, B je výrok A nebo B, který platí, jestliže alespoň jeden z výroků A, B platí (tj. v případech i, ii, iii), jinak neplatí (tj, v případě iv); značí se též A B. (a) Pro výroky A: leden má třicet dní, B: ideální kapalina je nestlačitelná tekutina, je výrok A a B: leden má třicet dní a ideální kapalina je nestlačitelná tekutina, výrok A nebo B: leden má třicet dní nebo ideální kapalina je nestlačitelná tekutina; výrok A a B neplatí, výrok A nebo B platí (jde o případ iii). (b) Pro výroky A: x > 3, B: x 6, je výrok A a B: x > 3 a x 6, výrok A nebo B: x > 3 nebo x 6. Je zřejmé, že výrok x > 3 a x 6 vyjadřuje totéž, co výrok x (3, 6 a výrok x > 3 nebo x 6 totéž co výrok x je libovolné reálné číslo a naopak (takové výroky se budou nazývat ekvivalentní, jak uvidíme později). 3

4 Poznámka: Spojka a v definici konjunkce vyjadřuje totéž co v živém jazyce a současně, spojka nebo v definici disjunkce má význam alternativy (nikoliv význam vzájemně vylučující ve smyslu buď a nebo ). Implikace výroků A, B je výrok jestliže platí A, pak platí B, který platí v případech i, iii, iv a neplatí v případě ii; značí se A B. Jestliže výroky A, B obsahují proměnné, pak se formulací A B platí rozumí, že výrok A B vždy platí, tj. po dosazení libovolných konstant (přicházejících v úvahu) za všechny proměnné; jinak se používá formulace A B neplatí. (a) Pro výroky A: 1 > 3, B: 1 m/s = 3,6 km/h, je výrok A B: jestliže 1 > 3, pak 1 m/s = 3,6 km/h, výrok B A: jestliže 1 m/s = 3,6 km/h, pak 1 > 3; výrok A B platí (jde o případ iii), výrok B A neplatí (jde o případ ii). (b) Pro výroky A: x < 4, B: x 2, je výrok A B: x < 4 x 2. Určíme, pro která reálná čísla x výrok A B neplatí. A B neplatí pouze v případě ii, tj. x < 4 (A platí) a x < 2 (B neplatí), tj. x < 2. V ostatních případech A B platí, a tedy A B platí pro x 2. (c) Pro výroky A: prší, B: jsou mraky, je výrok A B: jestliže prší, pak jsou mraky, výrok B A: jestliže jsou mraky, pak prší; výrok A B platí (neboť případ ii je reálně vyloučen), výrok B A neplatí (neboť případ ii, tj, jsou skutečně mraky a přitom neprší je reálně možný). Upozorněme na důležitý fakt, že v případě těchto dvou výroků (vlivem jejich fyzikální závislosti) může platnost jednoho ovlivnit platnost druhého; jinak řečeno, výroky A, B jsou pravdivostně závislé. U výroků A, B uvedených v (a), (b) tomu tak není. Také si připomeňme, že v (b), (c) obsahují výroky A, B proměnné, i když v (c) nejsou vyjádřeny symboly. Implikace výroků hraje velmi významnou roli při formulaci matematického tvrzení. K vyjádření implikace A B, se kromě již uvedeného ve stejném významu užívá z A plyne B, A implikuje B, platí-li A, platí B, A je předpoklad, B je závěr, případně dalších běžných jazykových obměn. Pro výroky A: x je racionální číslo, B: x je reálné číslo, lze implikaci A B vyjádřit, například, těmito významově stejnými formulacemi. (a) Je-li x číslo racionální, pak je x číslo reálné. (b) Nechť x je číslo racionální. Pak x je číslo reálné. (c) Z platnosti, že x je číslo racionální, plyne, že x je číslo reálné. Jak se lze snadno přesvědčit, výrok A B znamená totéž, jako výrok neboť oba výroky neplatí pouze v případě ii. B A, 4

5 Pro výroky A: voda vře, B: teplota vody je vyšší než 80 o C, vyjadřuje výrok A B: jestliže voda vře, pak teplota vody je větší než 80 o C, totéž jako výrok B A : není-li teplota vody vyšší než 80 o C, pak voda nevře. Ekvivalence výroků A, B je výrok A B a B A ; značí se A B. Jinak vyjádřeno výroky A, B jsou ekvivalentní, jestliže z A plyne B a z B plyne A. Jak je patrno, výrok A B platí v případech i, iv, jinak neplatí (tj. v případech ii, iii). (a) Výroky A: muž je ženatý, B: muž má manželku, jsou ekvivalentní, A B. (b) Výroky A: trojúhelník je rovnostranný, B: trojúhelník má všechny vnitřní úhly shodné, jsou ekvivalentní. K vyjádření ekvivalence výroků A, B se užívá též formulací A platí, právě když platí B, A je ekvivalentní s B. Prakticky to znamená, že výroky A, B jsou vzájemně nahraditelné z hlediska pravdivosti. Symboly,,,,, označující operace s výroky se nazývají logické operátory. VÝROKOVÉ FUNKCE, KVANTIFIKÁTORY Predikát neboli výroková funkce je předpis P, který každému prvku x z daného pole objektů (množiny) přiřazuje výrok, tj. pro každé x z daného pole je P (x ) výrok. Tvoří-li, například, pole objektů množina přirozených čísel N, pak výrokovou funkcí P (x) může být věta: x je menší než 8. P(x) je pravdivý výrok pro přirozená čísla menší než 8 a nepravdivý pro přirozená čísla větší nebo rovna 8. Máme-li pole objektů M a výrokovou funkci P, zavedeme tzv. základní kvantifikátory, které slouží k vytváření nových složitějších výroků existenční kvantifikátor. Výrok x M, P (x ) (čteme jako existuje x z množiny M, pro které platí P (x) ) je pravdivý výrok, právě když existuje takové x 0 M, že výrok P (x 0) je pravdivý obecný kvantifikátor. Výrok x M, P (x ) (čteme jako pro každé x z množiny M platí P (x ) ) je pravdivý výrok, právě když pro každý prvek y M je výrok P (y) pravdivý. 5

6 DŮLEŽITÉ ZÁKONY Ve výrokové logice platí následující základní zákony: I. Zákon sporu: Pro žádný výrok nemůže platit zároveň A i negace A (tzn. A A je nepravdivý výrok pro každý výrok A). II. Zákon vyloučeného třetího: Pro každý výrok A je buď A pravdivé, nebo A pravdivé (tzn. A A je pravdivý výrok pro každý výrok A). Z těchto zákonů plyne, že právě jeden z výroků A a A je pravdivý. Uveďme ještě významné vlastnosti implikace a ekvivalence. Platí: 1. A A (reflexivnost implikace). 2. Platí-li A B a B C, platí také A C (tranzitivnost implikace). 3. A A (reflexivnost ekvivalence). 4. Platí-li A B, platí i B A (symetričnost ekvivalence,!pozor - pro implikaci neplatí!). 5. Platí-li A B a B C, platí také A C (tranzitivnost ekvivalence). Další důležité ekvivalence jsou: 6. ( A ) A, 7. ( A A B, 8. ( A ( A) B, 9. ( ( A A, 10. ( A ) ( A B, 11. ( A ( A, B, 12. ( A ) ( A 13. ( A ( A, 14. ( A ( A, 15. ( A C ( A C) ( B C), 16. ( A C ( A C) ( B C), 17. ( x M, P( x) ) x M, P( x), 18. ( x M, P( x) ) x M, P( x). 6

7 FORMY MATEMATICKÉHO VYJADŘOVÁNÍ K tomu, aby matematika byla pravdivým obrazem reálného světa, si vytváří tzv. formální systémy. Zhruba řečeno, formální systém se skládá z pojmů a výroků o jejich vlastnostech. Schéma výstavby formálního systému je znázorněno na obr V prvním kroku výstavby formálního systému se nejprve vybere skupina tzv. primitivních pojmů, které se považují za zcela srozumitelné (opírají se o zkušenost) a dále se používají bez vysvětlení významu (např. bod, množina). Význam a smysl každého dalšího pojmu je třeba vysvětlit pomocí primitivních pojmů, případně pojmů, jejichž význam byl již dříve vysvětlen. K tomuto účelu se používá definic (obvykle jsou uvedeny slovy definice nebo jen def nebo bez uvedení, a pak je z kontextu zřejmé, že jde o definici); říkáme pak, že jsme pojem definovali (též zavedli ). primitivní pojmy pojmy axiomy věty převzaty ze zkušenosti přesvědčivé bezesporné vlastnosti pojmů (nedokazují se) vlastnosti pojmů (dokazují se) Obrázek 1.1 Schéma výstavby formálního systému V druhém kroku se vybere nejprve skupina výroků o pojmech, jejichž pravdivost považujeme za zcela zřejmou. Tyto výroky se nazývají axiomy (např. axiómy operací s reálnými čísly). Další výroky o vlastnostech pojmů se přijímají za pravdivé teprve po potvrzení platnosti postupem zvaným důkaz. Dokázané výroky se nazývají věty (též teorémy, příp. lemmata). Takto se i v matematickém textu uvádějí; vzhledem k tomu, že se v dalším výkladu (až na výjimky) důkazy neprovádějí, zmíněné označení se někdy vynechává a hovoří se o vlastnostech pojmů. Dodejme, že ne každý systém tvořený pojmy a výroky o nich je formální systém v matematickém slova smyslu. Tento systém musí splňovat velmi přesné podmínky, například bezespornost, nezávislost, úplnost, což není předmětem dalších úvah. 7

8 Cílové znalosti 1. Rozeznat konstanty a proměnné. 2. Rozhodnout, zda věta je výrok či ne. 3. K zadaným výrokům a výrokovým funkcím konstruovat negaci, konjunkci, disjunkci, implikaci a ekvivalenci včetně slovního vyjádření a určit, zda platí či ne. 4. Vyjádřit implikaci různými způsoby v matematických formulacích. 5. Rozlišit existenční a obecný kvantifikátor. 6. Rozumět, co je primitivní pojem, definice, axiom, věta, důkaz. 8

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

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

LOGIKA VÝROKOVÁ LOGIKA

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

Každé formuli výrokového počtu přiřadíme hodnotu 0, půjde-li o formuli nepravdivou, a hodnotu 1, půjde-li. α neplatí. β je nutná podmínka pro α

Každé formuli výrokového počtu přiřadíme hodnotu 0, půjde-li o formuli nepravdivou, a hodnotu 1, půjde-li. α neplatí. β je nutná podmínka pro α 1. JAZYK ATEATIKY 1.1 nožiny nožina je souhrn objektů určitých vlastností, které chápeme jako celek. ZNAČENÍ. x A x A θ A = { { a, b a A = B A B 0, 1 2 a, a,..., a n x patří do množiny A x nepatří do množiny

Více

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

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

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

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

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

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

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

Základy logiky a teorie množin

Základy logiky a teorie množin Pracovní text k přednášce Logika a teorie množin (I/2007) 1 1 Struktura přednášky Matematická logika 2 Výroková logika Základy logiky a teorie množin Petr Pajas pajas@matfyz.cz Predikátová logika 1. řádu

Více

Moderní technologie ve studiu aplikované fyziky CZ.1.07/2.2.00/ Množiny, funkce

Moderní technologie ve studiu aplikované fyziky CZ.1.07/2.2.00/ Množiny, funkce Moderní technologie ve studiu aplikované fyziky CZ.1.07/2.2.00/07.0018 2. Množiny, funkce MNOŽIN, ZÁKLDNÍ POJMY Pojem množiny patří v matematice ke stěžejním. Nelze jej zavést ve formě definice pomocí

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

1 Výrok a jeho negace

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

Matematická indukce, sumy a produkty, matematická logika

Matematická indukce, sumy a produkty, matematická logika Matematická indukce, sumy a produkty, matematická logika 8.9. -.0.009 Matematická indukce Jde o následující vlastnost přirozených čísel: Předpokládejme:. Nějaké tvrzení platí pro.. Platí-li tvrzení pro

Více

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

Matematická logika. Lekce 1: Motivace a seznámení s klasickou výrokovou logikou. Petr Cintula. Ústav informatiky Akademie věd České republiky

Matematická logika. Lekce 1: Motivace a seznámení s klasickou výrokovou logikou. Petr Cintula. Ústav informatiky Akademie věd České republiky Matematická logika Lekce 1: Motivace a seznámení s klasickou výrokovou logikou Petr Cintula Ústav informatiky Akademie věd České republiky www.cs.cas.cz/cintula/mal Petr Cintula (ÚI AV ČR) Matematická

Více

Matematika pro informatiky KMA/MATA

Matematika pro informatiky KMA/MATA Matematika pro informatiky KMA/MATA Informace k předmětu Mgr. Přemysl Rosa rosapr00@pf.jcu.cz, J349 Konzultační hodiny v ZS: úterý 10-11, čtvrtek 15-16 nebo individuálně po předchozí domluvě aktivní účast

Více

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

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

1 Úvod do matematické logiky

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

[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

2. Množiny, funkce. Poznámka: Prvky množiny mohou být opět množiny. Takovou množinu, pak nazýváme systém množin, značí se

2. Množiny, funkce. Poznámka: Prvky množiny mohou být opět množiny. Takovou množinu, pak nazýváme systém množin, značí se MNOŽIN, ZÁKLDNÍ POJMY Pojem množiny patří v matematice ke stěžejním. Nelze jej zavést ve formě definice pomocí primitivních pojmů; považuje se totiž rovněž za pojem primitivní. Představa o pojmu množina

Více

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

Formální systém výrokové logiky Formální systém výrokové logiky 1.Jazyk výrokové logiky Nechť P = {p,q,r, } je neprázdná množina symbolů, které nazýváme prvotní formule. Symboly jazyka L P výrokové logiky jsou : a) prvky množiny P, b)

Více

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

Unární je také spojka negace. pro je operace binární - příkladem může být funkce se signaturou. Binární je velká většina logických spojek

Unární je také spojka negace. pro je operace binární - příkladem může být funkce se signaturou. Binární je velká většina logických spojek Otázka 06 - Y01MLO Zadání Predikátová logika, formule predikátové logiky, sentence, interpretace jazyka predikátové logiky, splnitelné sentence, tautologie, kontradikce, tautologicky ekvivalentní formule.

Více

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

Booleovská algebra. Booleovské binární a unární funkce. Základní zákony.

Booleovská algebra. Booleovské binární a unární funkce. Základní zákony. Booleovská algebra. Booleovské binární a unární funkce. Základní zákony. Tomáš Bayer bayertom@natur.cuni.cz Katedra aplikované geoinformatiky a kartografie, Přírodovědecká fakulta UK. Tomáš Bayer bayertom@natur.cuni.cz

Více

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

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

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

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

Predikátová logika Individua a termy Predikáty

Predikátová logika Individua a termy Predikáty Predikátová logika Predikátová logika je rozšířením logiky výrokové o kvantifikační výrazy jako každý, všichni, někteří či žádný. Nejmenší jazykovou jednotkou, kterou byla výroková logika schopna identifikovat,

Více

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

Logika. 6. Axiomatický systém výrokové logiky

Logika. 6. Axiomatický systém výrokové logiky Logika 6. Axiomatický systém výrokové logiky RNDr. Luděk Cienciala, Ph. D. Tato inovace předmětu Úvod do logiky je spolufinancována Evropským sociálním fondem a Státním rozpočtem ČR, projekt č. CZ. 1.07/2.2.00/28.0216,

Více

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

Výroková logika. Sémantika výrokové logiky Výroková logika Výroková logika se zabývá vztahy mezi dále neanalyzovanými elementárními výroky. Nezabývá se smyslem těchto elementárních výroků, zkoumá pouze vztahy mezi nimi. Elementární výrok je takový

Více

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

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

Spojování výroků (podmínek) logickými spojkami

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

Logika, výroky, množiny

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

Více

Úvod do informatiky. Miroslav Kolařík

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

Více

7 Jemný úvod do Logiky

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

Více

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

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

Více

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

Okruh č.3: Sémantický výklad predikátové logiky Okruh č.3: Sémantický výklad predikátové logiky Predikátová logika 1.řádu formalizuje úsudky o vlastnostech předmětů a vztazích mezi předměty pevně dané předmětné oblasti (univerza). Nebudeme se zabývat

Více

Klasická výroková logika - tabulková metoda

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

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

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

Logika. 1. Úvod, Výroková logika Logika 1. Úvod, Výroková logika RNDr. Luděk Cienciala, Ph. D. Tato inovace předmětu Úvod do logiky je spolufinancována Evropským sociálním fondem a Státním rozpočtem ČR, projekt č. CZ. 1.07/2.2.00/28.0216,

Více

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

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

Více

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

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

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

KMA/MDS Matematické důkazy a jejich struktura

KMA/MDS Matematické důkazy a jejich struktura Modernizace studijního programu Matematika na PřF Univerzity Palackého v Olomouci CZ.1.07/2.2.00/28.0141 KMA/MDS Matematické důkazy a jejich struktura Seminář 3 Predikátový počet Uvažujme následující úsudek.

Více

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

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

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

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

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

Matematická analýza 1

Matematická analýza 1 Matematická analýza 1 ZS 2019-20 Miroslav Zelený 1. Logika, množiny a základní číselné obory 2. Limita posloupnosti 3. Limita a spojitost funkce 4. Elementární funkce 5. Derivace 6. Taylorův polynom Návod

Více

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

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

1 Pravdivost formulí v interpretaci a daném ohodnocení 1 Pravdivost formulí v interpretaci a daném ohodnocení Než uvedeme konkrétní příklady, zopakujme si definici interpretace, ohodnocení a pravdivosti. Necht L je nějaký jazyk. Interpretaci U, jazyka L tvoří

Více

Modely Herbrandovské interpretace

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

Více

7. Funkce jedné reálné proměnné, základní pojmy

7. Funkce jedné reálné proměnné, základní pojmy , základní pojmy POJEM FUNKCE JEDNÉ PROMĚNNÉ Reálná funkce f jedné reálné proměnné je funkce (zobrazení) f: X Y, kde X, Y R. Jde o zvláštní případ obecného pojmu funkce definovaného v přednášce. Poznámka:

Více

postaveny výhradně na syntaktické bázi: jazyk logiky neinterpretujeme, provádíme s ním pouze syntaktické manipulace důkazy

postaveny výhradně na syntaktické bázi: jazyk logiky neinterpretujeme, provádíme s ním pouze syntaktické manipulace důkazy Formální systémy (výrokové) logiky postaveny výhradně na syntaktické bázi: jazyk logiky neinterpretujeme, provádíme s ním pouze syntaktické manipulace důkazy cíl: získat formální teorii jako souhrn dokazatelných

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

Predikátová logika (logika predikátů)

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

I. Úvodní pojmy. Obsah

I. Úvodní pojmy. Obsah I. Úvodní pojmy Obsah 1 Matematická logika 2 1.1 Výrok,logickéoperátory,výrokovéformuleaformy... 2 1.2 Logickávýstavbamatematiky... 3 1.2.1 Základnímetodydůkazůmatematickýchvět..... 3 1.2.2 Negacevýroků.....

Více

1.4.3 Složené výroky implikace a ekvivalence

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

Aplikace: Znalostní báze

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

Více

Příklad z učebnice matematiky pro základní školu:

Příklad z učebnice matematiky pro základní školu: Příklad z učebnice matematiky pro základní školu: Součet trojnásobku neznámého čísla zvětšeného o dva a dvojnásobku neznámého čísla zmenšeného o pět se rovná čtyřnásobku neznámého čísla zvětšeného o jedna.

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

přednáška 2 Marie Duží

přednáška 2 Marie Duží Logika v praxi přednáška 2 Marie Duží marie.duzi@vsb.cz 1 1 Výroková logika Analyzuje způsoby skládání jednoduchých výroků do výroků složených pomocí logických spojek. Co je to výrok? Výrok je tvrzení,

Více

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

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

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

Více

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

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

Matematická logika. Miroslav Kolařík

Matematická logika. Miroslav Kolařík Matematická logika přednáška šestá Miroslav Kolařík Zpracováno dle textu R. Bělohlávka: Matematická logika poznámky k přednáškám, 2004. a dle učebního textu R. Bělohlávka a V. Vychodila: Diskrétní matematika

Více

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

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

Více

SLOŽENÉ VÝROKY. Konjunkce. Motivační příklad společné zadání pro další příklady:

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

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

Výroková a predikátová logika - VII Výroková a predikátová logika - VII Petr Gregor KTIML MFF UK ZS 2018/2019 Petr Gregor (KTIML MFF UK) Výroková a predikátová logika - VII ZS 2018/2019 1 / 15 Platnost (pravdivost) Platnost ve struktuře

Více

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

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

Přednáška 2: Formalizace v jazyce logiky. Přednáška 2: Formalizace v jazyce logiky. Marie Duží marie.duzi@vsb.cz Úvod do teoretické informatiky (logika) Dva základní logické systémy: Výroková logika a predikátová logika. řádu. Výroková logika

Více

1. Základy logiky a teorie množin

1. Základy logiky a teorie množin 1. Základy logiky a teorie množin A. Logika Matematická logika vznikla v 19. století. Jejím zakladatelem byl anglický matematik G. Boole (1815 1864). Boole prosadil algebraické pojetí logiky a zavedl logické

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

Premisa Premisa Závěr

Premisa Premisa Závěr Studijní text Argumentace Jak to v komunikaci přirozeně děláme, jak argumentujeme? Leden má 31 dní, protože je prvním měsícem roku. Vím, že nelze nekomunikovat. Tzn. každý člověk komunikuje. A Petr je

Více

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

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

Více

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

M - Příprava na 2. zápočtový test - třídy 1DP, 1DVK

M - Příprava na 2. zápočtový test - třídy 1DP, 1DVK M - Příprava na. zápočtový test - třídy 1DP, 1DVK Autor: Mgr. Jaromír Juřek Kopírování a další šíření výukového materiálu povoleno pouze s uvedením odkazu na http://www.jarjurek.cz VARIACE 1 Tento dokument

Více

Cílem kapitoly je opakování a rozšíření středoškolských znalostí v oblasti teorie množin.

Cílem kapitoly je opakování a rozšíření středoškolských znalostí v oblasti teorie množin. 1.2. Cíle Cílem kapitoly je opakování a rozšíření středoškolských znalostí v oblasti teorie množin. Průvodce studiem Množina je jedním ze základních pojmů moderní matematiky. Teorii množin je možno budovat

Více

Logika Libor Barto. Výroková logika

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

- existuje..., negace: pro všechny neplatí,... - pro všechna..., negace: existuje, že neplatí,...

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

Pravda jako funkce - ano, nebo ne?

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

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

Pro každé formule α, β, γ, δ platí: Pro každé formule α, β, γ platí: Poznámka: Platí právě tehdy, když je tautologie. Zpracoval: hypspave@fel.cvut.cz 5. Výroková logika, formule výrokové logiky a jejich pravdivostní ohodnocení, splnitelné formule, tautologie, kontradikce, sémantický důsledek, tautologicky ekvivalentní

Více

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

Obsah Předmluva Rekapitulace základních pojmů logiky a výrokové logiky Uvedení do predikátové logiky...17 Obsah Předmluva...3 0. Rekapitulace základních pojmů logiky a výrokové logiky...11 0.1 Logika jako věda o vyplývání... 11 1. Uvedení do predikátové logiky...17 1.1 Základní terminologie... 17 1.2 Základní

Více

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

Výroková a predikátová logika - IX Výroková a predikátová logika - IX Petr Gregor KTIML MFF UK ZS 2013/2014 Petr Gregor (KTIML MFF UK) Výroková a predikátová logika - IX ZS 2013/2014 1 / 15 Korektnost a úplnost Důsledky Vlastnosti teorií

Více