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

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

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

Transkript

1 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é Otázka číslo: 2... aspektem je vztah k poznávanému, to, co dodává myšlení skutečnost sama. Formálním Neformálním Obsahovým Otázka číslo: 3 Slova, která mají více různých významů, ale jeden tvar, nazýváme.... synonyma homonyma antonyma Otázka číslo: 4 Více označení pro jeden předmět zase nazýváme.... synonyma

2 homonyma antonyma Otázka číslo: 5 Pojem... znamená neostré, nepřesné není vždy přesně vyjádřitelné, co je lehké. logicky vadné vágní vlažné Otázka číslo: 6 Vágnost bývá překážkou.... ve vztahu pojmenování denotát pojem argument v přesném a jednoznačném pochopení výroku Otázka číslo: 7... je přesné vyjádření pojmu. Definice Pojmenování Označení Otázka číslo: 8 Příkladem homonyma není slovo: kohoutek

3 jazyk kalkulačka Otázka číslo: 9 Příkladem synonyma nejsou: lux a vysavač prvek a element noc a den Otázka číslo: 10 Definice, kdy vysvětlujeme... je neúčinná. neznámý pojem známým pojmem známý pojem jiným známým pojmem neznámý pojem jiným neznámým pojmem Otázka číslo: 11 Definice chybná po stránce didaktické je ta, která je.... zbytečně složitá a nebo podsouvá mylné domnění stručná a hravě zapamatovatelná nezavádí termíny, co již byly dříve zavedeny Otázka číslo: je základem ve studiu logiky, známe fakta a obecné vztahy mezi fakty a chceme vědět, co to konkrétně znamená.

4 logické vyplývání aplikovatelnost pravdivost Otázka číslo: 13 Myšlenkový proces, kdy z jistých informací plynou závěry, je.... usuzování myšlení argumentace Otázka číslo: 14 Logika studuje... při nichž vznikají úsudky, které je možno označit za správné či nesprávné. obecná kritéria a postupy konkrétní kritéria psychické pochody Otázka číslo: 15 Pojmem... v logice označujeme úsudek z něhož je vyvozen jiný úsudek. konkluze premisa argument Otázka číslo: 16 Pojmem... v logice označujeme výsledek vyvozování ze dvou premis (počátečních úsudků).

5 premisa konkluze argument Otázka číslo: 17 Premisy standardně píšeme.... vedle sebe a pod čarou bývá oddělen závěr vedle sebe a za dvojtečkou bývá oddělen závěr pod sebe a pod čarou bývá oddělen závěr Otázka číslo: 18 Sporné jsou v logice ty výrazy, které.... si vzájemně odporují a nemohou být zároveň pravdivé nejsou napsané na řádku si vzájemně neodporují a mohou být zároveň pravdivé Otázka číslo: 19 V případě, že jsou již..., pak jsou jako východiska pro usuzování bezcenné. premisy sporné premisy nesporné premisy jen dvě Otázka číslo: 20 Je způsobem, jak doložit nesprávnost úsudku, použití protipříkladu?

6 Je to v logice základní metoda. V logice to nejde. Je to možné, ale nemá to praktické využití. Otázka číslo: 21 Logická analogie... nám pomůže (na bezesporném příkladu) odhalit chybu v procesu usuzování. s různou formou vyvození se stejnou formou vyvození i s chybnou formou vyvození Otázka číslo: 22 Rychlé a přesné používání protipříkladu je.... neúčinnou metodou při odhalování chyb při usuzování účinnou metodou při odhalování chyb při usuzování zbytečnou metodou při odhalování chyb při usuzování Otázka číslo: je způsob uvažování, v němž postupujeme od konkrétních příkladů k obecným závěrům. Indukce Dedukce Redukce Otázka číslo: 24

7 . je způsob uvažování, v němž postupujeme od obecných předpokladů ke konkrétním závěrům. Dedukce Indukce Redukce Otázka číslo: uvažování je nezbytné pro všechny empirické vědy pokus je nutno několikrát zopakovat, než můžeme považovat zákonitost za prokázanou. Deduktivní Reduktivní Induktivní Otázka číslo: 26 Pojmem... rozumíme souhrn důvodů či důkazů, s nimiž se snažíme doložit pravdivost nějakého tvrzení. negace kolekce argumentace Otázka číslo: nám ukazuje, jak funguje nekorektní argumentace, a zkoumá možnosti, jak se před ní chránit. Argumentologie Logická matematika Neformální logika

8 Powered by TCPDF ( Otázka číslo: 28 Nejsilnější formou nekorektní argumentace je vyhrožování, které nazýváme..., protože vlastně o argumenty nejde. kvaziargumentací neargumentací nonargumentací Otázka číslo: označujeme kromě vyhrožování též urážky, podezírání a obviňování. neargumentací nonargumentací kvaziargumentací Otázka číslo: 30 Argumentace s jazykovými vadami v sobě zahrnuje... jazykové vady či chyby při formulování argumentů nebo teze. vědomé i nevědomé nevědomé vědomé

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

Ú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

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

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

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

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

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

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

nejvyšší a z vývojového hlediska nejmladší poznávací proces Pojem odraz obecných a podstatných vlastností předmětů a jevů ve vědomí člověka

nejvyšší a z vývojového hlediska nejmladší poznávací proces Pojem odraz obecných a podstatných vlastností předmětů a jevů ve vědomí člověka Otázka: Myšlení a řeč Předmět: Základy společenských věd Přidal(a): Adelajd zprostředkovaný způsob poznávání předmětů a jevů na základě pochopení jejich vzájemných vztahů a souvislostí nejvyšší a z vývojového

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

a) vnímání = proces, kterým zachycujeme to, co v daném okamžiku působí na naše smysly

a) vnímání = proces, kterým zachycujeme to, co v daném okamžiku působí na naše smysly Otázka: Psychické procesy Předmět: Základy společenských věd Přidal(a): mirka 1)Poznávací procesy a) vnímání = proces, kterým zachycujeme to, co v daném okamžiku působí na naše smysly - podnět-> počitek->

Více

ZÁKLADNÍ METODOLOGICKÁ PRAVIDLA PŘI ZPRACOVÁNÍ ODBORNÉHO TEXTU. Martina Cirbusová (z prezentace doc. Škopa)

ZÁKLADNÍ METODOLOGICKÁ PRAVIDLA PŘI ZPRACOVÁNÍ ODBORNÉHO TEXTU. Martina Cirbusová (z prezentace doc. Škopa) ZÁKLADNÍ METODOLOGICKÁ PRAVIDLA PŘI ZPRACOVÁNÍ ODBORNÉHO TEXTU Martina Cirbusová (z prezentace doc. Škopa) OSNOVA Metodologie vs. Metoda vs. Metodika Základní postup práce Základní vědecké metody METODOLOGIE

Více

Obsah ZÁKLADNÍ POJMY LOGIKA DESKRIPTIVNÍHO JAZYKA 2 VÝROKOVÁ LOGIKA 49 3 VNITŘNÍ STAVBA VÝROKŮ 78

Obsah ZÁKLADNÍ POJMY LOGIKA DESKRIPTIVNÍHO JAZYKA 2 VÝROKOVÁ LOGIKA 49 3 VNITŘNÍ STAVBA VÝROKŮ 78 259 Obsah PŘEDMLUVA 5 ZÁKLADNÍ POJMY 1 ÚVODNÍ ÚVAHY 1.1 o povaze a úkolech logiky 1.2 Logika a právo. Pojem právní logiky 1.3 Vyjadřovací soustava a sdělovací proces. 1.4 Několik základních pojmů potřebných

Více

Logika a jazyk. filosofický slovník, Praha:Svoboda 1966)

Logika a jazyk. filosofický slovník, Praha:Svoboda 1966) Logika a jazyk V úvodu bylo řečeno, že logika je věda o správnosti (lidského) usuzování. A protože veškeré usuzování, odvozování a myšlení vůbec se odehrává v jazyce, je problematika jazyka a jeho analýza

Více

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

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

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

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

Ú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

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

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

Recenze habilitační práce

Recenze habilitační práce Prof. Zw. Dr. Hab. Adam Plocki Nowy Sacz, 8. dubna 2014 Instytut Pedagogiczny Panstwowej Wyzszej Szkoly Zawodowej W Nowym Saczu 33-300 Nowy Sacz Rzeczpospolita Polska Recenze habilitační práce Metodologie

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

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

Fyzikální veličiny. - Obecně - Fyzikální veličiny - Zápis fyzikální veličiny - Rozměr fyzikální veličiny. Obecně

Fyzikální veličiny. - Obecně - Fyzikální veličiny - Zápis fyzikální veličiny - Rozměr fyzikální veličiny. Obecně Fyzikální veličiny - Obecně - Fyzikální veličiny - Zápis fyzikální veličiny - Rozměr fyzikální veličiny Obecně Fyzika zkoumá objektivní realitu - hmotu - z určité stránky. Zabývá se její látkovou formou

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

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

Jak má vypadat znalecký posudek

Jak má vypadat znalecký posudek Jak má vypadat znalecký posudek JUDr. ing. Lukáš Křístek, MBA soudní znalec Článek 1 využívá základů práva, aby poukázal na vlastnosti, které by měl znalecký posudek mít. Vlastnosti posudku rozebírá. Znalecký

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

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

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

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

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

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

Psychologie 00. Otázka číslo: 1. Osobnost: je hotova již při narození. se formuje se během individuálního života

Psychologie 00. Otázka číslo: 1. Osobnost: je hotova již při narození. se formuje se během individuálního života Psychologie 00 Otázka číslo: 1 Osobnost: je hotova již při narození se formuje se během individuálního života je ovlivněna především přírodním prostředím je individuální jednotou biologických, psychologických

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

Psychologie 10. Otázka číslo: 1. Mezi myšlenkové operace řadíme: analýzu. syntézu. srovnávání. abstrakci. zobecňování. indukci.

Psychologie 10. Otázka číslo: 1. Mezi myšlenkové operace řadíme: analýzu. syntézu. srovnávání. abstrakci. zobecňování. indukci. Psychologie 10 Otázka číslo: 1 Mezi myšlenkové operace řadíme: analýzu syntézu srovnávání abstrakci zobecňování indukci dedukci analogii (je možno více správných odpovědí) Otázka číslo: 2 Myšlení se uskutečňuje

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

Anatomie textu. Jednotlivé prvky odborného textu

Anatomie textu. Jednotlivé prvky odborného textu Anatomie textu Jednotlivé prvky odborného textu Situace autora textu Disponuje určitým poznáním k tématu Má s ním nějaké zkušenosti - předporozumění Stanovil si výzkumný cíl Vyhledal k němu nějaké dokumenty

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

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

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

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

Psychologie 07. Otázka číslo: 1. Nejzákladnějšími poznatky o regulaci chování řízeného psychikou se zabývá psychologie: obecná.

Psychologie 07. Otázka číslo: 1. Nejzákladnějšími poznatky o regulaci chování řízeného psychikou se zabývá psychologie: obecná. Psychologie 07 Otázka číslo: 1 Nejzákladnějšími poznatky o regulaci chování řízeného psychikou se zabývá psychologie: obecná vývojová diferenciální Otázka číslo: 2 Projevy a utváření psychických jevů 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

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

ASK. Test deduktivního a kreativního myšlení. HTS Report. Jan Ukázka ID Datum administrace Standard 1. vydání

ASK. Test deduktivního a kreativního myšlení. HTS Report. Jan Ukázka ID Datum administrace Standard 1. vydání ASK Test deduktivního a kreativního myšlení HTS Report ID 8389-226 Datum administrace 04.12.2018 Standard 1. vydání PŘEHLED VÝSLEDKŮ ASK 2/8 Přehled výsledků Analýza deduktivního a kreativního myšlení

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

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 2018/2019 Petr Gregor (KTIML MFF UK) Výroková a predikátová logika - IX ZS 2018/2019 1 / 13 Dokončené tablo Chceme, aby dokončená bezesporná

Více

Teorie argumentace Pavel Arazim

Teorie argumentace Pavel Arazim Teorie argumentace Pavel Arazim Druhá lekce 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) Otázky v argumentaci

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

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

trénink myšlení myšlení 50 cvičení, která změní způsob vašeho myšlení LOGICké

trénink myšlení myšlení 50 cvičení, která změní způsob vašeho myšlení LOGICké trénink myšlení CHARLES PHILLIPS 50 cvičení, která změní způsob vašeho myšlení LOGICké myšlení LOGICKÉ MYŠLENÍ Ukazka knihy z internetoveho knihkupectvi www.kosmas.cz charles phillips LOGICKÉ MYŠLENÍ 50

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

Množiny, relace, zobrazení

Množiny, relace, zobrazení Množiny, relace, zobrazení Množiny Množinou rozumíme každý soubor určitých objektů shrnutých v jeden celek. Zmíněné objekty pak nazýváme prvky dané množiny. Pojem množina je tedy synonymem pojmů typu soubor,

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

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

Sylogistika. (FLÚ AV ČR) Logika: CZ.1.07/2.2.00/ / 16

Sylogistika. (FLÚ AV ČR) Logika: CZ.1.07/2.2.00/ / 16 (FLÚ AV ČR) Logika: CZ.1.07/2.2.00/28.0216 2013 1 / 16 Výstavba logické teorie Sylogistika 1) Syntax základní symboly (logické, mimologické) gramatická pravidla (pojem formule) 2) Sémantika pojem interpretace

Více

Jaká je logická výstavba matematiky?

Jaká je logická výstavba matematiky? Jaká je logická výstavba matematiky? 9. Logický kalkul In: Miroslav Katětov (author): Jaká je logická výstavba matematiky?. (Czech). Praha: Jednota československých mathematiků a fysiků, 1946. pp. 96 101.

Více

VLASTNĚ JEN KRÁTKÝ PŘÍBĚH (O myšlení a lidech) Logika

VLASTNĚ JEN KRÁTKÝ PŘÍBĚH (O myšlení a lidech) Logika VLASTNĚ JEN KRÁTKÝ PŘÍBĚH (O myšlení a lidech) Logika 2 Průvodce tématem logika - 1. část 1.1 SLOVA 1.2 INDUKTIVNÍ MYŠLENÍ 1.3 DEDUKTIVNÍ MYŠLENÍ 1.4 VŠELIJAKÉ ÚSKOKY 1.5 DEFINOVÁNÍ POJMŮ 1.6. ZÁVĚR 3

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

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

Úvod do logiky (VL): 11. Ověřování, zda je formule tautologií metodou protipříkladu

Úvod do logiky (VL): 11. Ověřování, zda je formule tautologií metodou protipříkladu Jiří Raclavský (214): Úvod do logiky: klasická výroková logika Logika: systémový rámec rozvoje oboru v ČR a koncepce logických propedeutik pro mezioborová studia (reg. č. CZ.1.7/2.2./28.216, OPVK) Úvod

Více

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

Otázka: Aristoteles. Předmět: Základy společenských věd. Přidal(a): Michael Otázka: Aristoteles Předmět: Základy společenských věd Přidal(a): Michael Aristoteles (život a dílo, nauka o látce a tvaru, možnosti a uskutečnění, substanci a akcidentech, etika a politika) Život 384

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

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

Aktuální změny v didaktickém testu z češtiny 2015

Aktuální změny v didaktickém testu z češtiny 2015 Aktuální změny v didaktickém testu z češtiny 2015 PhDr. Dana Brdková Lektorka Bankovní akademie a VŠFS Pro použití v rámci projektu ematurity Jak je sestaven didaktický test? Didaktický test obsahuje 10

Více

METODY PRÁCE V MATEMATICE PRIMÁRNÍ ŠKOLY A V MATEMATICKÉM VZDĚLÁVÁNÍ UČITELŮ

METODY PRÁCE V MATEMATICE PRIMÁRNÍ ŠKOLY A V MATEMATICKÉM VZDĚLÁVÁNÍ UČITELŮ Smolenice 0. 4.-. 4. 005 METODY PRÁCE V MATEMATICE PRIMÁRNÍ ŠKOLY A V MATEMATICKÉM VZDĚLÁVÁNÍ UČITELŮ RŮŽENA BLAŽKOVÁ Katedra matematiky, Pedagogická fakulta Masarykovy univerzity v Brně, Poříčí 31, 603

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

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

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

Výroková a predikátová logika - IV Výroková a predikátová logika - IV Petr Gregor KTIML MFF UK ZS 2018/2019 Petr Gregor (KTIML MFF UK) Výroková a predikátová logika - IV ZS 2018/2019 1 / 17 Tablo metoda Tablo Tablo - příklady F (((p q)

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

Název materiálu: Myšlení a řeč Autor materiálu: Mgr. Veronika Plecerová Datum vytvoření: Zařazení materiálu:

Název materiálu: Myšlení a řeč Autor materiálu: Mgr. Veronika Plecerová Datum vytvoření: Zařazení materiálu: Projekt: Digitální učební materiály ve škole, registrační číslo projektu CZ. 1. 07/1. 5. 00/34. 0527 Příjemce: Střední zdravotnická škola a Vyšší odborná škola zdravotnická, Husova 3, 371 60 České Budějovice

Více

Nikolić Aleksandra Matěj Martin

Nikolić Aleksandra Matěj Martin POSTAVENÍ Í PEDAGOGIKY MEZI VĚDAMI Nikolić Aleksandra Matěj Martin PŮVOD NÁZVU Paidagogos = pais + agein Pais = dítě Agein = vést průvodce dětí, často vzdělaný otrok pečoval o výchovu dětí ze zámožných

Více

Definice: Paměť je jedna z nejdůležitějších vlastností člověka, je to soubor procesů, které umožňují osvojení informací, jejich uchování a vybavení.

Definice: Paměť je jedna z nejdůležitějších vlastností člověka, je to soubor procesů, které umožňují osvojení informací, jejich uchování a vybavení. Otázka: Paměť, myšlení, učení a jeho druhy Předmět: Základy společenských věd Přidal(a): Mrázová Definice: Paměť je jedna z nejdůležitějších vlastností člověka, je to soubor procesů, které umožňují osvojení

Více

9 Kolmost vektorových podprostorů

9 Kolmost vektorových podprostorů 9 Kolmost vektorových podprostorů Od kolmosti dvou vektorů nyní přejdeme ke kolmosti dvou vektorových podprostorů. Budeme se zabývat otázkou, kdy jsou dva vektorové podprostory na sebe kolmé a jak to poznáme.

Více

Úvod do logiky (VL): 12. Ověřování platnosti úsudků metodou protipříkladu

Úvod do logiky (VL): 12. Ověřování platnosti úsudků metodou protipříkladu 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): 12. Ověřování platnosti úsudků metodou protipříkladu

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

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

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

METODOLOGIE KINANTROPOLOGIE

METODOLOGIE KINANTROPOLOGIE METODOLOGIE KINANTROPOLOGIE KINANTROPOLOGIE - vědecká - pedagogická disciplína Charakteristika: věda o lidském tělesném, duševním, pohybovém a duchovním zdokonalování Oblasti působení: Tělesná výchova

Více

Metodologie pedagogického výzkumu

Metodologie pedagogického výzkumu Metodologie pedagogického výzkumu Prof. RNDr. Erika Mechlová, CSc. Zimní semestr 2004/2005 Ukončení: zkouškou Osnova: 1. Základní metodologická východiska vědeckého poznání v pedagogice 2. Předmět vědeckého

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

POL 181 Co je věda? A co je podstatou výzkumu?

POL 181 Co je věda? A co je podstatou výzkumu? POL 181 Co je věda? A co je podstatou výzkumu? Věda jako kriminalistika Věda Možná pojetí vědy: Individualistické, úzké individuální aktivita, cílem pozorovat, popsat a vysvětlit (sociální) realitu, porozumět

Více

Verbální dovednosti. PaedDr. Mgr. Hana Čechová

Verbální dovednosti. PaedDr. Mgr. Hana Čechová Verbální dovednosti PaedDr. Mgr. Hana Čechová Osnova 1. Verbální dovednosti 2. Složky verbální dovednosti 3. Trénink verbální dovednosti 4. Vliv verbální dovednosti 5. Slovní zásoba 6. Obohacování a změna

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

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

Základy logiky I. Pochopit jazykový výraz Na co ukazuje jazykový výraz? láhev, dům, šest, bolest, prvočíslo Ukazuje jazykový výraz na věci? Ukazuje na

Základy logiky I. Pochopit jazykový výraz Na co ukazuje jazykový výraz? láhev, dům, šest, bolest, prvočíslo Ukazuje jazykový výraz na věci? Ukazuje na Filosofie Základy logiky Základy logiky I. Pochopit jazykový výraz Na co ukazuje jazykový výraz? láhev, dům, šest, bolest, prvočíslo Ukazuje jazykový výraz na věci? Ukazuje na množiny věcí? Ukazuje na

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 2014/2015 Petr Gregor (KTIML MFF UK) Výroková a predikátová logika - III ZS 2014/2015 1 / 21 Výroková logika Horn-SAT Horn-SAT Jednotková

Více

- Psychický proces, zachycuje to, co v daném okamžiku působí na naše smysly.

- Psychický proces, zachycuje to, co v daném okamžiku působí na naše smysly. Otázka: Psychologie - psychické stavy, procesy a lidské činnosti Předmět: Základy společenských věd Přidal(a): Nicole 1. Psychické procesy: vnímání, představy, fantazie, pozornost, myšlení, paměť 2. Psychické

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

Fyzika I. Něco málo o fyzice. Petr Sadovský. ÚFYZ FEKT VUT v Brně. Fyzika I. p. 1/20

Fyzika I. Něco málo o fyzice. Petr Sadovský. ÚFYZ FEKT VUT v Brně. Fyzika I. p. 1/20 Fyzika I. p. 1/20 Fyzika I. Něco málo o fyzice Petr Sadovský petrsad@feec.vutbr.cz ÚFYZ FEKT VUT v Brně Fyzika I. p. 2/20 Fyzika Motto: Je-li to zelené, patří to do biologie. Smrdí-li to, je to chemie.

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

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

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