Kosmologický důkaz Boží existence

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

Download "Kosmologický důkaz Boží existence"

Transkript

1 Kosmologický důkaz Boží existence Petr Dvořák Filosofický ústav AV ČR Cyrilometodějská teologická fakulta UP

2 Postup Dějinný a systematický kontext, literatura Důkaz Hume-Edwardsova námitka a její řešení, vztah kauzálních a modálních pojmů Kantova námitka

3 Druhy důkazů Teleologický Náhodný vznik versus záměrný vznik za určitým účelem Úsudek z charakteristiky vesmíru nebo jeho části, která je chápána jako záměrně vzniklá za určitým účelem, na existenci inteligentní bytosti s tímto záměrem. Induktivní důkaz Kosmologický Úsudek z obecné charakteristiky skutečnosti (vesmíru) na existenci zdroje či základu této charakteristiky Deduktivní důkaz, induktivní důkaz Ontologický Úsudek z pojmu (definice) Boha na jeho existenci Deduktivní důkaz Morální Úsudek ze sféry hodnot na tvůrce hodnot či garanta hodnot

4 Dějiny a dvě verze kosmologického důkazu Aristoteles (Fyzika VIII, Metafyzika XII) Kalámský důkaz (W. L. Craig) Tomáš Akvinský (Sth I, 2, 3; ScG I, 13) Jan Duns Scotus (De primo principio) (Avicenna) Leibniz, Monadologie (1714), (Princip 32, Důkaz 36) Samuel Clarke, A Demonstration of the Being and Attributes of God (1705) Bernard Bolzano, Lehrbuch der Religionswissenschaft 1818, 1834 (díl I, odst. 67) Craig, William Lane, 1980, The Cosmological Argument from Plato to Leibniz, London: The Macmillan Press.

5 Současní zastánci v analytické fil. náboženství Gale, Richard M. and Alexander R. Pruss 1999, A New Cosmological Argument, Religious Studies, 35(4) 1999, pp Koons, Robert C., 1997, A New Look at the Cosmological Argument, American Philosophical Quarterly, 34(2), pp Leftow, Brian, A Leibnizian cosmological argument, Philosophical Studies October 1989, Volume 57, Issue 2, pp Sousedík, Stanislav, Kosmologický důkaz Boží existence v životě a myšlení, Vyšehrad, Praha 2014 Craig, William Lane, The Kalam Cosmological Argument, The Macmillan Press, London 1979., In Defense of the Kalam Cosmological Argument, Faith and Philosophy, 1997, 14(2):

6 Důkaz (ve dvou fázích) Vesmír vyžaduje příčinu: 1. Existují závislá jsoucna [pravda a posteriori ] 2. Je-li každé jsoucno závislé, potom je závislý i soubor všech závislých jsoucen 3. Vše, co je závislé, má příčinu [analytická pravda] 4. Soubor všech závislých jsoucen má příčinu Příčina vesmíru je nezávislá: 5. Příčina souboru všech závislých jsoucen sama není prvkem tohoto souboru 6. Příčina souboru všech závislých jsoucen je nezávislá

7 Hume-Edwardsova námitka Hume, Dialogy, část IX 2. Je-li každé jsoucno závislé, potom je závislý i soubor všech závislých jsoucen Paul Edwards, "A Critique of the Cosmological Argument" (1959) The demand to find the cause of the series as a whole rests on the erroneous assumption that the series is something over and above the members of which it is composed... If we have explained the individual members there is nothing additional left to be explained.

8 Pojem závislého jsoucna 2. Je-li každé jsoucno závislé, potom je závislý i soubor všech závislých jsoucen Závislé jsoucno (opak nezávislé jsoucno) (i) má přímou příčinu (ii) má alespoň nepřímou vnější příčinu - sestává v posledku ze závislých částí ve smyslu (i), - alespoň jedna z částí má vnější příčinu odlišnou od každé části (iii) má alespoň nepřímou příčinu, - sestává ze závislých částí ve smyslu (i) - nemá externí příčinu části Moje teze 1. Konečný celek je závislý buď ve smyslu (i) nebo (ii) 2. Nekonečný celek je závislý ve smyslu (i)

9 Kauzální a modální pojmy 1) Každé závislé jsoucno je nahodilé 2) Každé nahodilé jsoucno je závislé Emanuel Rutten, Towards a Renewed Case for Theism: A critical Assessment of Contemporary Cosmological Arguments. Self-published. Amsterdam Každé nahodilé jsoucno je závislé 2. Každá příčina zapříčiněné části zapříčiněného celku je částí příčiny celku 3. Existuje alespoň jedno jsoucno A takové, že je příčinou B a A a B dohromady tvoří nahodilé jsoucno 4. Každá příčina je odlišná od svého účinku

10 Řešení: rozlišení přímé a nepřímé příčiny E je přímá částečná příčina C tím, že je přímou úplnou příčinou A A je nepřímou částečnou příčinou C tím, že je přímou úplnou příčinou B E a A jsou úplnou nepřímou příčinou D jsoucna C Závislý (ii) = df má alespoň nepřímou vnější příčinu - sestává v posledku ze závislých částí ve smyslu (i), - alespoň jedna z částí má vnější příčinu odlišnou od každé části

11 Logická možnost a metafyzická možnost Tvrzení Je možné, že nekonečná kauzální řada neexistuje nebo existuje jiná řada Stav světa S je metafyzicky možný ve světě w (kde neexistuje) právě tehdy, když ve w existuje příčina schopná jej způsobit. Stav světa S je logicky možný ve světě w (kde neexistuje) právě tehdy, když existuje ve světě u a má příčinu ve světě u (je-li S pozitivní)

12 Argument pro to, že je nekonečná řada závislá ve smyslu (i) Kontrafaktuální scénář: aktuální je svět, v němž řada neexistuje 1. Neexistence řady je v aktuálním světě (tomto) logicky možná 2. Řekněme, že je aktuální svět, v němž není žádná řada 3. V každém možném světě, v němž řada existuje má protože existence řady je pozitivní stav světa příčinu. 4. Kdyby některý z těchto světů byl aktuální, potom by řada měla příčinu 5. Jeden z těchto světů je aktuální Buď má řada v aktuálním světě příčinu, nebo je její existence logicky nemožná

13 Principy 1. Vše, co by mohlo existovat (logická možnost) a neexistuje vyžaduje příčinu své existence ve světě, kde existuje 2. Vše, co existuje a mohlo by neexistovat (logická možnost) vyžaduje příčinu 1. Implikuje 2. je-li dostupnost mezi světy symetrická.

14 Kant a kosmologický důkaz Nutné jsoucno je Bůh (druhý krok důkazu) Ens necessarium je ens realissimum 1. Každé ens necessarium je ens realissimum 2. Některé ens realissimum je ens necessarium Ens realissimum je jediné 3. Každé ens realissimum je ens necessarium

15 Je kosmologický důkaz zbytečný? Předpoklad: Nutné jsoucno je možné Epistemická možnost (zdá se nám, že lze bezrozporně myslet) Logická možnost (lze bezrozporně myslet) Goldbachova doměnka (každé sudé číslo větší než 2 se dá vyjádřit jako součet dvou prvočísel) Buď je možně (nutně) pravdivá nebo (nutně) nepravdivá

16 Děkuji za pozornost

Důkaz nebo cesta? Masarykova univerzita, Přírodovědecká fakulta Ústav matematiky a statistiky

Důkaz nebo cesta? Masarykova univerzita, Přírodovědecká fakulta Ústav matematiky a statistiky Důkaz nebo cesta? Zdeněk Pospíšil Masarykova univerzita, Přírodovědecká fakulta Ústav matematiky a statistiky Křesťanský sbor Brno Městská knihovna Blansko Středa 23. listopadu 2016 Úvod Kam půjdeme? Tomášovy

Více

Obsah. Co je metafyzika? Dějiny pojmu "metafyzika" 17 Antika... 17

Obsah. Co je metafyzika? Dějiny pojmu metafyzika 17 Antika... 17 Obsah Úvodní slovo překladatele Předběžné poznámky. 11 12 ÚVOD. 15 Co je metafyzika?.. 17 Dějiny pojmu "metafyzika" 17 Antika... 17 Středověk. 19 Novověk.. 21 Po Kantovi 23 Definice metafyziky a její vysvětlení

Více

Úvod do logiky. (FLÚ AV ČR) Logika: CZ.1.07/2.2.00/ / 23

Úvod do logiky. (FLÚ AV ČR) Logika: CZ.1.07/2.2.00/ / 23 Úvod do logiky (FLÚ AV ČR) Logika: CZ.1.07/2.2.00/28.0216 2013 1 / 23 Co je logika? Čeho se týkají logické zákony? Tři možnosti: (1) světa (2) myšlení (3) jazyka (FLÚ AV ČR) Logika: CZ.1.07/2.2.00/28.0216

Více

STŘEDOVĚKÁ FILOSOFIE 3.1.2013 OBECNÁ CHARAKTERISTIKA CYKLICKÉ POJETÍ ČASU

STŘEDOVĚKÁ FILOSOFIE 3.1.2013 OBECNÁ CHARAKTERISTIKA CYKLICKÉ POJETÍ ČASU STŘEDOVĚKÁ FILOSOFIE Úvodní informace OBECNÁ CHARAKTERISTIKA Od počátku našeho letopočtu do r. 1453 (popř. 1492) Vnitřní charakteristika: Filosofie je úzce spjata s teologií = křesťanská filosofie. Vychází

Více

ETIKA. Benedictus de SPINOZA

ETIKA. Benedictus de SPINOZA ETIKA Benedictus de SPINOZA Ukázka knihy z internetového knihkupectví www.kosmas.cz Benedictus de Spinoza ETIKA ETIKA Benedictus de SPINOZA ETIKA Translation Karel Hubka, 1977 Czech edition dybbuk, 2004

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

Obsah. 1. Boěthiova učitelská mise Komparace dvou současníků Tajemné Divišovo autorství 49. Slovo ke čtenáři 11.

Obsah. 1. Boěthiova učitelská mise Komparace dvou současníků Tajemné Divišovo autorství 49. Slovo ke čtenáři 11. Obsah Předmluva ke druhému vydání 9 Slovo ke čtenáři 11 Prolog 13 ODDÍL PRVNÍ: Počátky středověké filosofie 15 I. Přehled duchovních proudů pozdní antiky a dílo Aurelia Augustina 15 II. Anicius Manlius

Více

Obsah. Georg Henrik von Wright a jeho VYsvětlování a rozumění (Petr Urban)... 13

Obsah. Georg Henrik von Wright a jeho VYsvětlování a rozumění (Petr Urban)... 13 Obsah Georg Henrik von Wright a jeho VYsvětlování a rozumění (Petr Urban)... 13 Předmluva..... 29 I. Dvě tradice 1. Dvě hlavní tradice ve vědě a ve filosofii vědecké metody: aristotelská a galileovská.

Více

Stanislav Sousedík KOSMOLOGICKÝ DŮKAZ BOŽÍ EXISTENCE V ŽIVOTĚ A MYŠLENÍ

Stanislav Sousedík KOSMOLOGICKÝ DŮKAZ BOŽÍ EXISTENCE V ŽIVOTĚ A MYŠLENÍ 161 Stanislav Sousedík KOSMOLOGICKÝ DŮKAZ BOŽÍ EXISTENCE V ŽIVOTĚ A MYŠLENÍ Praha (Vyšehrad) 2014, 175 str. Kniha Stanislava Sousedíka Kosmologický důkaz Boží existence v životě a myšlení obsahuje nejen

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

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

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

Implikace letitá, ale stále atraktivní dáma

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

Problém identity instancí asociačních tříd

Problém identity instancí asociačních tříd Problém identity instancí asociačních tříd Autor RNDr. Ilja Kraval Ve školeních a také následně po jejich ukončení se stále častěji objevují dotazy, které se týkají tzv. identity instancí asociační třídy.

Více

Úvod do logiky a logického programování.

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

Pojem politika. POL104 Úvod do politologie

Pojem politika. POL104 Úvod do politologie Pojem politika POL104 Úvod do politologie Co je politika (a je důležitá)? Jak se její vnímání měnilo v čase? Jaké jsou přístupy k politice? činnost státu činnost, která je spjata k věcem veřejným. Činnost,

Více

Primární a sekundární výskyt označující fráze. Martina Juříková Katedra filozofie, FF UP v Olomouci Bertrand Russell, 17. - 18. 5.

Primární a sekundární výskyt označující fráze. Martina Juříková Katedra filozofie, FF UP v Olomouci Bertrand Russell, 17. - 18. 5. Primární a sekundární výskyt označující fráze Martina Juříková Katedra filozofie, FF UP v Olomouci Bertrand Russell, 17. - 18. 5. 2012 Russellovo rozlišení jména a popisu Označující fráze Primární a sekundární

Více

Ludwig WITTGENSTEIN: Tractatus Logico-Philosophicus, 1922 Překlad: Jiří Fiala, Praha: Svoboda, 1993

Ludwig WITTGENSTEIN: Tractatus Logico-Philosophicus, 1922 Překlad: Jiří Fiala, Praha: Svoboda, 1993 Ludwig WITTGENSTEIN: Tractatus Logico-Philosophicus, 1922 Překlad: Jiří Fiala, Praha: Svoboda, 1993 l Svět je všechno, co fakticky je. 1.l Svět je celkem faktů a nikoli věcí. l.2 Svět se rozpadá na fakty.

Více

Klíčová slova: Gödel; Leibniz; ontologický argument; Bůh; dokonalé/pozitivní vlastnosti; esence; existence; Beckerův postulát

Klíčová slova: Gödel; Leibniz; ontologický argument; Bůh; dokonalé/pozitivní vlastnosti; esence; existence; Beckerův postulát Leibnizovské motivy v Gödelově ontologickém argumentu Iva Svačinová, FF MU, Brno Abstrakt: V textu je představen ontologický argument Kurta Gödela, který je porovnán s argumentem G. W. Leibnize. Argumenty

Více

Filozofie křesťanského středověku. Dr. Hana Melounová

Filozofie křesťanského středověku. Dr. Hana Melounová Filozofie křesťanského středověku Dr. Hana Melounová Středověk / 5. 15. st. n. l. / Křesťanství se utvářelo pod vlivem zjednodušené antické filozofie a židovského mesionaismu. Základní myšlenky už konec

Více

Teoreticko-metodologický seminář. Zdeňka Jastrzembská

Teoreticko-metodologický seminář. Zdeňka Jastrzembská Teoreticko-metodologický seminář Zdeňka Jastrzembská jastrzem@phil.muni.cz A) Co je to věda? Věda je každý celek hodný toho, aby mohl být předmětem intelektuální výuky na vysokých školách. Věda je specifický

Více

Dle Heideggera nestačí zkoumat jednolivá jsoucna, ale je třeba se ptát, co umožňuje existenci jsoucen tzn. zkoumat... bytí

Dle Heideggera nestačí zkoumat jednolivá jsoucna, ale je třeba se ptát, co umožňuje existenci jsoucen tzn. zkoumat... bytí Filozofie 06 Základní zadání k sérii otázek: V uvedených charakteristikách a tezích týkajících se moderní filosofie doplňte z nabízených adekvátní pojem, termín či slovo. Otázka číslo: 1 MARTIN HEIDEGGER

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

Stanislav Sousedík Kosmologický důkaz. Boží existence. v životě a myšlení VYŠEHRAD

Stanislav Sousedík Kosmologický důkaz. Boží existence. v životě a myšlení VYŠEHRAD Stanislav Sousedík Kosmologický důkaz Boží existence v životě a myšlení VYŠEHRAD Kniha vychází v roce 80. výročí založení nakladatelství Vyšehrad 1934 2014 Tato kniha vychází s podporou Grantové agentury

Více

Filosofie novověk. Autor: Mgr. Václav Štěpař Vytvořeno: leden 2014

Filosofie novověk. Autor: Mgr. Václav Štěpař Vytvořeno: leden 2014 Filosofie novověk Autor: Mgr. Václav Štěpař Vytvořeno: leden 2014 ANOTACE Kód DUMu: VY_6_INOVACE_3.ZSV.20 Číslo projektu: CZ.1.07/1.5.00/34.0851 Vytvořeno: leden 2014 Ročník: 3. ročník střední zdravotnická

Více

Metody zpracování fyzikálních měření

Metody zpracování fyzikálních měření etody zpracování fyzikálních měření Jakub Čížek katedra fyziky nízkých teplot Tel: 9 788 jakub.cizek@mff.cuni.cz http://physics.mff.cuni.cz/kfnt/vyuka/metody/obsah.html Doporučená literatura: D.S. Silva,

Více

Úvod do TI - logika 1. přednáška. Marie Duží

Úvod do TI - logika 1. přednáška. Marie Duží Úvod do TI - logika 1. přednáška Marie Duží marie.duzi@vsb.cz Úvod do TI - logika Učební texty: http://www.cs.vsb.cz/duzi Courses Introduction to Logic: Informace pro studenty Učební texty: Kapitoly: Úvod

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

MO-ME-N-T MOderní MEtody s Novými Technologiemi CZ.1.07/1.5.00/34.0903

MO-ME-N-T MOderní MEtody s Novými Technologiemi CZ.1.07/1.5.00/34.0903 Projekt: Reg.č.: Operační program: Škola: Tematický okruh: Jméno autora: MO-ME-N-T MOderní MEtody s Novými Technologiemi CZ.1.07/1.5.00/34.0903 Vzdělávání pro konkurenceschopnost Hotelová škola, Vyšší

Více

1. Matematická logika

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

2.hodina. Jak pracuje věda

2.hodina. Jak pracuje věda 2.hodina Jak pracuje věda 3.Hodina kritický racionalismus. https://cs.wikipedia.org/wiki/karl_popper K. Popper, Otevřená společnost a její nepřátelé I./II. Praha 1994, opravené vydání 2011/2015 K. Popper,

Více

Člověk a společnost. 16. Vznik a význam filozofie. Vznik a vývoj význam filozofie. Vytvořil: PhDr. Andrea Kousalová.

Člověk a společnost. 16. Vznik a význam filozofie. Vznik a vývoj význam filozofie. Vytvořil: PhDr. Andrea Kousalová. Člověk a společnost 16. Vznik a význam filozofie www.ssgbrno.cz Vytvořil: PhDr. Andrea Kousalová Vznik a a význam vývoj filozofie Vznik a vývoj význam filozofie Strana: 1 Škola Ročník Název projektu Číslo

Více

Základní problémy teorie poznání

Základní problémy teorie poznání Základní problémy teorie poznání Základní přístupy k teorii poznání Metafyzická epistemologie - nejdříve co existuje, pak jak to můžeme poznat (Platón, Aristotelés) Skeptická epistemologie - nejdříve je

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

E L O G O S ELECTRONIC JOURNAL FOR PHILOSOPHY/2006 ISSN 1211-0442

E L O G O S ELECTRONIC JOURNAL FOR PHILOSOPHY/2006 ISSN 1211-0442 E L O G O S ELECTRONIC JOURNAL FOR PHILOSOPHY/2006 ISSN 1211-0442 Existují morální zákony á priori, nebo jsou pouze vyjádřením soudobých názorů ve společnosti? Ondřej Bečev 1) Vysvětlivky K použitým písmům

Více

Inteligentní systémy (TIL)

Inteligentní systémy (TIL) Inteligentní systémy (TIL) Marie Duží http://www.cs.vsb.cz/duzi/ Přednáška 9 hyperintensionální kontext Celá konstrukce C je objektem predikace (argumentem), tedy její výstup funkce, kterou konstruuje,

Více

METAFYZIKA A PAVOUK V KOUTĚ. Metafyzika

METAFYZIKA A PAVOUK V KOUTĚ. Metafyzika METAFYZIKA A PAVOUK V KOUTĚ Metafyzika 2 Průvodce tématem metafyzika - 1. část 2.1 ÚVOD - METAFYZIKA 2.2 PRVNÍ KROK NĚKOLIK TEORETICKÝCH INFORMACÍ 2.3 DRUHÝ KROK TEXT Z OBLASTI METAFYZIKY 2.4 TŘETÍ KROK

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

FILOSOFIE ČLOVĚKA a VĚDY

FILOSOFIE ČLOVĚKA a VĚDY FILOSOFIE ČLOVĚKA a VĚDY Filosofie.. Vznik v antickém Řecku - KRITICKÉ, SAMOSTATNÉ myšlení - V SOUVISLOSTECH - sobě vlastní otázky, které neřeší speciální vědy - člověk ve VZTAHU k přírodě, společnosti

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

Racionalismus. Představitelé jsou René Descartes, Benedikt Spinoza, G. W. Leibnitz.

Racionalismus. Představitelé jsou René Descartes, Benedikt Spinoza, G. W. Leibnitz. Racionalismus poznání vyrůstá z racionálního myšlení je to učení, které vyzvedá přirozené poznání člověka zdůrazňuje význam vědy, vzdělání, osvěty a kultury hlásá suverenitu lidského rozumu. Představitelé

Více

E L O G O S, ELECTRONIC JOURNAL FOR PHILOSOPHY/2003, ISSN Vladimír Kyprý.

E L O G O S, ELECTRONIC JOURNAL FOR PHILOSOPHY/2003, ISSN Vladimír Kyprý. 1 E L O G O S, ELECTRONIC JOURNAL FOR PHILOSOPHY/2003, ISSN 1211-0442. ---------------------- Ještě k problematice filosofické antropologie jako antropologické ontologie. Vladimír Kyprý. Resumé: Tato stať

Více

A) Sjednocená teorie Všeho?

A) Sjednocená teorie Všeho? OBSAH BUĎ SVĚTLO! 13 A) Sjednocená teorie Všeho? 1. ZÁHADA SKUTEČNOSTI 16 Dvojí záhada 17 Nový model světa: Koperník, Kepler, Galilei 18 Církev proti přírodním vědám 19 Vítězství přírodních věd 21 2. FYZIKÁLNÍ

Více

1, Žáci dostanou 5 klíčových slov a snaží se na jejich základě odhadnout, o čem bude následující cvičení.

1, Žáci dostanou 5 klíčových slov a snaží se na jejich základě odhadnout, o čem bude následující cvičení. Moje hlavní město Londýn řešení: 1, Žáci dostanou 5 klíčových slov a snaží se na jejich základě odhadnout, o čem bude následující cvičení. Klíčová slova: capital, double decker bus, the River Thames, driving

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

F3011 Fyzika, filozofie a myšlení. Masarykova univerzita, Přírodovědecká fakulta Ústav matematiky a statistiky Křest anský sbor Brno

F3011 Fyzika, filozofie a myšlení. Masarykova univerzita, Přírodovědecká fakulta Ústav matematiky a statistiky Křest anský sbor Brno Gödelův důkaz nutné existence Boha p. 1/10 F3011 Fyzika, filozofie a myšlení 24. října 2008 Gödelův důkaz nutné existence Boha Zdeněk Pospíšil Masarykova univerzita, Přírodovědecká fakulta Ústav matematiky

Více

Mosty přes propast mezi fakty a normami. Vladimír Svoboda Filosofický ústav AV ČR

Mosty přes propast mezi fakty a normami. Vladimír Svoboda Filosofický ústav AV ČR Mosty přes propast mezi fakty a normami Vladimír Svoboda Filosofický ústav AV ČR David Hume (*1711-1776) Pojednání o lidské přirozenosti: V každém systému morálky, se kterým jsem se doposud setkal, jsem

Více

Otázka: Scholastika. Předmět: Základy společenských věd. Přidal(a): Michael

Otázka: Scholastika. Předmět: Základy společenských věd. Přidal(a): Michael Otázka: Scholastika Předmět: Základy společenských věd Přidal(a): Michael Scholastika (periodizace a charakteristika, představitelé, základní problémy, spor o univerzálie, myšlení sv. Tomáše) Periodizace

Více

Středověká a renesanční filosofie

Středověká a renesanční filosofie Středověká a renesanční filosofie Mgr. Vlasta Christovová, PhD. (KPF) Anotace: Přednášky a práce v seminářích jsou zaměřeny na specifiku středověkého pojetí bytí, pravdy, dobra a smyslu lidského života,

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

USING VIDEO IN PRE-SET AND IN-SET TEACHER TRAINING

USING VIDEO IN PRE-SET AND IN-SET TEACHER TRAINING USING VIDEO IN PRE-SET AND IN-SET TEACHER TRAINING Eva Minaříková Institute for Research in School Education, Faculty of Education, Masaryk University Structure of the presentation What can we as teachers

Více

Mezi... aspekty řadíme obecné pojmy, tvrzení či soudy a tvrzení následně vyvozená.

Mezi... aspekty řadíme obecné pojmy, tvrzení či soudy a tvrzení následně vyvozená. Logika 6 Zadání: Doplň vhodný termín z nabízených nebo vyber správnou odpověď: Otázka číslo: 1 Mezi... aspekty řadíme obecné pojmy, tvrzení či soudy a tvrzení následně vyvozená. formální neformální obsahové

Více

Předpoklady v základních typech důkazů Boží existence

Předpoklady v základních typech důkazů Boží existence Univerzita Palackého v Olomouci Cyrilometodějská teologická fakulta Katedra filosofie a patrologie Křesťanská výchova Veronika Svobodová Předpoklady v základních typech důkazů Boží existence Diplomová

Více

Člověk na cestě k moudrosti. Filozofie 20. století

Člověk na cestě k moudrosti. Filozofie 20. století Autor: Tematický celek: Učivo (téma): Stručná charakteristika: Pavel Lečbych Člověk na cestě k moudrosti Filozofie 20. století Materiál má podobu pracovního listu, pomocí něhož se žáci seznámí s filozofií

Více

Deskripce a existence: uctívali Řekové olympské bohy?

Deskripce a existence: uctívali Řekové olympské bohy? Kapitola 4 Deskripce a existence: uctívali Řekové olympské bohy? Přestože jsme se v minulé kapitole zabývali subjekty a predikáty, existuje ještě jeden typ výrazů, který může vystupovat jako podmět oznamovací

Více

1. Přednáška K čemu je právní filosofie?

1. Přednáška K čemu je právní filosofie? 1. Přednáška K čemu je právní filosofie? Osnova přednášky: a) Co je filosofie a filosofování b) Proč vznikla právní filosofie c) Předmět a funkce právní filosofie Co znamená slovo filosofie? slovo filosofie

Více

PROPORCIONÁLNÍ ODPOVĚDNOST VE VZTAHU K ÚPRAVĚ V NOZ JIŘÍ HRÁDEK

PROPORCIONÁLNÍ ODPOVĚDNOST VE VZTAHU K ÚPRAVĚ V NOZ JIŘÍ HRÁDEK PROPORCIONÁLNÍ ODPOVĚDNOST VE VZTAHU K ÚPRAVĚ V NOZ JIŘÍ HRÁDEK I. Úvod Vymezení pojmů Mezinárodní projekty a jejich pojetí Česká úprava Základní pojetí Pravděpodobnost Proporcionální odpovědnost Řešení

Více

Nekonečno v matematice. Masarykova univerzita, Přírodovědecká fakulta Ústav matematiky a statistiky

Nekonečno v matematice. Masarykova univerzita, Přírodovědecká fakulta Ústav matematiky a statistiky Nekonečno v matematice Zdeněk Pospíšil Masarykova univerzita, Přírodovědecká fakulta Ústav matematiky a statistiky Křesťanský sbor Brno Městská knihovna Blansko Středa 22. listopadu 2017 Motivace Důkazy

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

Formálnílogickésystémy pro aplikaci v informatice Martin Žáček

Formálnílogickésystémy pro aplikaci v informatice Martin Žáček ZVYŠOVÁNÍODBORNÝCH KOMPETENCÍAKADEMICKÝCH PRACOVNÍKŮ OSTRAVSKÉUNIVERZITY V OSTRAVĚ A SLEZSKÉ UNIVERZITY V OPAVĚ Formálnílogickésystémy pro aplikaci v informatice Martin Žáček PŘEDMĚTY NA OU Logické základy

Více

Úvod do TI - logika Výroková logika (2.přednáška) Marie Duží

Úvod do TI - logika Výroková logika (2.přednáška) Marie Duží Ú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

VRCHOLNÁ SCHOLASTIKA 13. STOLETÍ

VRCHOLNÁ SCHOLASTIKA 13. STOLETÍ VRCHOLNÁ SCHOLASTIKA 13. STOLETÍ ÚKOL 1 VYTVOŘTE DVOJICE Co to znamená scholastika? Které období předchází vrcholné scholastice a kdo jsou jeho hlavní představitelé? CHARAKTERISTIKA fil. svět ovládnul

Více

Úvod do filozofie Jana Kutnohorská

Úvod do filozofie Jana Kutnohorská Úvod do filozofie Jana Kutnohorská Úvod Etymologie Předmět filozofie Ontologie Prameny filozofického tázání Filozofické disciplíny Etymologie Filozofie z řečtiny PHILEIN - milovat SOPHA - moudrost V doslovném

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

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

Zenonovy paradoxy PRÁCE PRO SOČ. 1. října 2016 Autor: Adéla Tomanovicsová Téma: Zenonovi Paradoxy

Zenonovy paradoxy PRÁCE PRO SOČ. 1. října 2016 Autor: Adéla Tomanovicsová Téma: Zenonovi Paradoxy PRÁCE PRO SOČ 1. října 2016 Autor: Adéla Tomanovicsová Téma: Zenonovi Paradoxy Název Zenonovi paradoxy Jméno a Příjmení Adéla Tomanovicsová Pracovní postup: 1. Zjištění informací. 2. Nastudování. 3. Vytvoření

Více

PhDr. Jan Samohýl, Th.D. Publikační činnost:

PhDr. Jan Samohýl, Th.D. Publikační činnost: PhDr. Jan Samohýl, Th.D. Publikační činnost: Kapitoly v publikacích Současná česká tomistická psychologie, in NAKONEČNÝ, MACHULA, SAMOHÝL, Historie a perspektivy české tomistické psychologie, Praha: Triton,

Více

Inteligentní systémy (TIL)

Inteligentní systémy (TIL) Inteligentní systémy (TIL) Marie Duží http://www.cs.vsb.cz/duzi/ Přednáška 8 Příklady ze cvičení 1. Analyzujte následující úsudek (a) intensionálně, (b) hyperintensionálně a zdůvodněte, při které analýze

Více

POSLECH. M e t o d i c k é p o z n á m k y k z á k l a d o v é m u t e x t u :

POSLECH. M e t o d i c k é p o z n á m k y k z á k l a d o v é m u t e x t u : POSLECH Jazyk Úroveň Autor Kód materiálu Anglický jazyk 9. třída Mgr. Martin Zicháček aj9-kap-zic-pos-07 Z á k l a d o v ý t e x t : Margaret: Hi Eric. Eric: Oh, hi Margaret. How are you doing? Margaret:

Více

Úvod do predikátové logiky. (FLÚ AV ČR) Logika: CZ.1.07/2.2.00/ / 1

Úvod do predikátové logiky. (FLÚ AV ČR) Logika: CZ.1.07/2.2.00/ / 1 Úvod do predikátové logiky (FLÚ AV ČR) Logika: CZ.1.07/2.2.00/28.0216 2013 1 / 1 Relace Neuspořádaná vs. uspořádaná dvojice {m, n} je neuspořádaná dvojice. m, n je uspořádaná dvojice. (FLÚ AV ČR) Logika:

Více

GUIDELINES FOR CONNECTION TO FTP SERVER TO TRANSFER PRINTING DATA

GUIDELINES FOR CONNECTION TO FTP SERVER TO TRANSFER PRINTING DATA GUIDELINES FOR CONNECTION TO FTP SERVER TO TRANSFER PRINTING DATA What is an FTP client and how to use it? FTP (File transport protocol) - A protocol used to transfer your printing data files to the MAFRAPRINT

Více

POHAN. kategorický soud; tvrzení, jehož pravdivost lze potvrdit nebo vyvrátit s objektivní platností PROPOZICE UNIVERZÁLIE PARTIKULÁRIE PRESUPOZICE

POHAN. kategorický soud; tvrzení, jehož pravdivost lze potvrdit nebo vyvrátit s objektivní platností PROPOZICE UNIVERZÁLIE PARTIKULÁRIE PRESUPOZICE KŘESŤAN POHAN ten, kdo se rozhodl, že jeho život už nepatří jemu samotnému, nýbrž Kristu se všemi nároky a výhodami kdokoliv jiný, kromě židů a muslimů FRAKTÁL PROPOZICE UNIVERZÁLIE negeometrický útvar

Více

Rozšířené tematické okruhy

Rozšířené tematické okruhy Rozšířené tematické okruhy 1. Metodologie vědy jako nauka, která se zabývá vědeckými metodami (užší i širší pojetí) (54, 35, 21) o nauka o metodách, o vědeckých metodách o nejméně dva směry speciální metodologie

Více

VY_12_INOVACE_02.14 1/9 1.2.02.14 Vyprávíme a překládáme příběh

VY_12_INOVACE_02.14 1/9 1.2.02.14 Vyprávíme a překládáme příběh 1/9 1.2.02.14 Materiál je určen pro práci žáků 4. 5. ročníku v hodinách informatiky. Navazuje na učivo českého a anglického jazyka. 1. část Žáci dostávají v elektronické podobě první pracovní list obrázky

Více

I. Typy studia filosofie

I. Typy studia filosofie STUDIUM FILOSOFIE NA FILOSOFICKÉ FAKULTĚ UNIVERSITY KARLOVY V PRAZE Neboť právě filosofu přísluší tento stav, divit se. (Platón, Theaitétos 155d) I. Typy studia filosofie Filosofii lze na FF UK na pregraduální

Více

LOGBOOK. Blahopřejeme, našli jste to! Nezapomeňte. Prosím vyvarujte se downtrade

LOGBOOK. Blahopřejeme, našli jste to! Nezapomeňte. Prosím vyvarujte se downtrade název cache GC kód Blahopřejeme, našli jste to! LOGBOOK Prosím vyvarujte se downtrade Downtrade (z GeoWiki) Je to jednání, kterého byste se při výměnách předmětů v keších měli vyvarovat! Jedná se o snížení

Více

Angličtina pro radost I. Začátečníci

Angličtina pro radost I. Začátečníci Angličtina pro radost I. Začátečníci Richard Ludvík 1. vydání vydáno v červnu 2017 jako 53. publikace vydal Pavel Kohout (www.kknihy.cz) ISBN 978-80-7570-044-5 (epub) ISBN 978-80-7570-045-2 (mobi) ISBN

Více

CZ.1.07/1.5.00/

CZ.1.07/1.5.00/ Projekt: Příjemce: Digitální učební materiály ve škole, registrační číslo projektu CZ.1.07/1.5.00/34.0527 Střední zdravotnická škola a Vyšší odborná škola zdravotnická, Husova 3, 371 60 České Budějovice

Více

Přijímací zkouška z matematiky 2017

Přijímací zkouška z matematiky 2017 Fakulta informačních technologií ČVUT v Praze Přijímací zkouška z matematiky 2017 Kód uchazeče ID:.................. Varianta: 14 Příklad 1. (3b) Mějme dvě čísla zapsaná v pětkové soustavě: 4112 5 a 2443

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

Boží (ne)dokazatelnost v soudobé české neoscholastické diskuzi

Boží (ne)dokazatelnost v soudobé české neoscholastické diskuzi Boží (ne)dokazatelnost v soudobé české neoscholastické diskuzi David Peroutka V současnosti (mám na mysli období cca od 90. let) byla některými českými filosofy tak či onak navazujícími na tradici scholastického

Více

Základní pojmy I. EVOLUCE

Základní pojmy I. EVOLUCE Základní pojmy I. EVOLUCE Medvěd jeskynní Ursus spelaeus - 5 mil. let? - 10 tis. let - 200 tis. let? Medvěd hnědý Ursus arctos Medvěd lední Ursus maritimus Základní otázky EVOLUCE Jakto, že jsou tu různé

Více

Obsah. II. Povaha dějin filosofie... 15 III. Jak studovat dějiny filosofie... 20 IV. Antická filosofie... 22

Obsah. II. Povaha dějin filosofie... 15 III. Jak studovat dějiny filosofie... 20 IV. Antická filosofie... 22 Předmluva... 5 Autorova předmluva k revidovanému vydání... 10 Kapitola I. Úvod... 11 I. Proč studovat historii filosofie?... 11 II. Povaha dějin filosofie... 15 III. Jak studovat dějiny filosofie... 20

Více

WCAG 2.0 nový pohled na přístupnost

WCAG 2.0 nový pohled na přístupnost WCAG 2.0 nový pohled na přístupnost 1 The Web is not a barrier to people with disabilities, it is the solution. Paul R. Bohman, WebAIM Radek Pavlíček duben 2009 Co vše má vliv na přístupnost? Zdravotní

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

Náhodný pokus Náhodným pokusem (stručněji pokusem) rozumíme každé uskutečnění určitého systému podmínek resp. pravidel.

Náhodný pokus Náhodným pokusem (stručněji pokusem) rozumíme každé uskutečnění určitého systému podmínek resp. pravidel. Základy teorie pravděpodobnosti Náhodný pokus Náhodným pokusem (stručněji pokusem) rozumíme každé uskutečnění určitého systému podmínek resp. pravidel. Poznámka: Výsledek pokusu není předem znám (výsledek

Více

Střední odborná škola stavební a Střední odborné učiliště stavební Rybitví

Střední odborná škola stavební a Střední odborné učiliště stavební Rybitví Střední odborná škola stavební a Střední odborné učiliště stavební Rybitví Vzdělávací oblast: Vzdělávání a komunikace v cizím jazyce Název: Rozdíl v používání as/ like Autor: Mgr.Tompos Monika Datum, třída:

Více

-15. normostran, ité literatury a citovaných pramenů. @centrum.czcz Dva termíny

-15. normostran, ité literatury a citovaných pramenů. @centrum.czcz Dva termíny Povinnosti ke zkoušce Seminárn rní práce -15 normostran, poznámkový aparát, seznam použit ité literatury a citovaných pramenů Konzultace - alespoň dvakrát t za semestr, včetně kontroly pracovního textu

Více

Jacques Le Goff Středověký člověk a jeho vnímání světa

Jacques Le Goff Středověký člověk a jeho vnímání světa Středověká estetika Jacques Le Goff Středověký člověk a jeho vnímání světa středověký člověk obklopen propracovaným ideologickým a kulturním systémem pro středověkého člověka je viditelný svět jenom stopou

Více

Členové Vídeňského filosofického kroužku diskutovali a rozvíjeli především teoretické práce:

Členové Vídeňského filosofického kroužku diskutovali a rozvíjeli především teoretické práce: Filozofie 05 Otázka číslo: 1 " Na přísné formulaci kauzálního zákona: známe-li přesně přítomnost, můžeme vypočítat budoucnost, není nesprávná druhá věta, ale věta první. Přítomnost ve všech stupních její

Více

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

Obsah. 1. Pojem a struktura práva

Obsah. 1. Pojem a struktura práva Obsah Předmluva............................... II 1. Pojem a struktura práva A. Pozitivismus versus iusnaturalismus: nekončící příběh.. 17 1. Vymezení pojmu práva jako východisko řešení netriviálních případů..........

Více

Výukový materiál zpracovaný v rámci operačního programu Vzdělávání pro konkurenceschopnost

Výukový materiál zpracovaný v rámci operačního programu Vzdělávání pro konkurenceschopnost Výukový materiál zpracovaný v rámci operačního programu Vzdělávání pro konkurenceschopnost Registrační číslo: CZ.1.07/1. 5.00/34.0084 Šablona: II/2 Inovace a zkvalitnění výuky cizích jazyků na středních

Více

Definice. Petr Kuchyňka

Definice. Petr Kuchyňka Definice Petr Kuchyňka (7765@mail.muni.cz) 1 Úvod Pravdivost vět či platnost argumentů lze kompetentně posoudit, jen když je jasné, co přesně znamenají výrazy v nich užité. Základním prostředkem specifikace

Více

Immanuel Kant: Kritika čistého rozumu

Immanuel Kant: Kritika čistého rozumu Immanuel Kant: Kritika čistého rozumu Úvod k problému Prostřednictvím filosofie kritického období se Immanuel Kant snaží podat podrobný výklad o lidském rozumu teoretickém, praktickém a estetickém. O prvním

Více

Datum: Projekt: Využit. Číslo DUM: VY_32_INOVACE_359. Jméno autora: Mgr. Veronika Karlová. anská nauka 41 M/01

Datum: Projekt: Využit. Číslo DUM: VY_32_INOVACE_359. Jméno autora: Mgr. Veronika Karlová. anská nauka 41 M/01 Datum: 20. 7. 2013 Projekt: Využit ití ICT techniky předevp edevším m v uměleck leckém m vzdělávání Registrační číslo: CZ.1.07/1.5.00/34.1013 Číslo DUM: VY_32_INOVACE_359 Škola: Akademie VOŠ,, Gymn. a

Více

Základy matematiky pro FEK

Základy matematiky pro FEK Základy matematiky pro FEK 4. přednáška Blanka Šedivá KMA zimní semestr 2016/2017 Blanka Šedivá (KMA) Základy matematiky pro FEK zimní semestr 2016/2017 1 / 27 Množiny Zavedení pojmu množina je velice

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

Funkce, elementární funkce.

Funkce, elementární funkce. Kapitola 2 Funkce, elementární funkce. V této kapitole si se budeme věnovat studiu základních vlastností funkcí jako je definiční obor, obor hodnot. Připomeneme si pojmy sudá, lichá, rostoucí, klesající.

Více