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

Podobné dokumenty
LOGIKA VÝROKOVÁ LOGIKA

Matematika pro informatiky KMA/MATA

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

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

Základní pojmy matematické logiky

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

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

Klasická výroková logika - tabulková metoda

M - Výroková logika VARIACE

1. Matematická logika

Matematická logika. Miroslav Kolařík

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 α

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

Úvod do informatiky. Miroslav Kolařík

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

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

Logika a studijní předpoklady

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

1. Matematická logika

VÝUKOVÝ MATERIÁL. Bratislavská 2166, Varnsdorf, IČO: tel Číslo projektu

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

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.

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

Matematická indukce, sumy a produkty, matematická logika

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

Základy logiky a teorie množin

1 Výroková logika 1. 2 Predikátová logika 3. 3 Důkazy matematických vět 4. 4 Doporučená literatura 7

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

Normální formy. (provizorní text)

VY_42_Inovace_12_MA_2.01_ Výroky. Prezentace určena pro první ročník maturitních oborů, ve které je vysvětlení učiva výroky.

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

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

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

Výroková logika - opakování

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

přednáška 2 Marie Duží

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

Od Aristotela k Prologu

Logika, výroky, množiny

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

Matematika B101MA1, B101MA2

Matematická logika. Miroslav Kolařík

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

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

Střední odborná škola a Střední odborné učiliště, Hustopeče, Masarykovo nám. 1

7 Jemný úvod do Logiky

1. MATEMATICKÁ LOGIKA A MNOŽINY

Premisa Premisa Závěr

1 Úvod do matematické logiky

1 Výrok a jeho negace

platné nejsou Sokrates je smrtelný. (r) 1/??

Logika II. RNDr. Kateřina Trlifajová PhD. Katedra teoretické informatiky Fakulta informačních technologíı BI-MLO, ZS 2011/12

Matematická logika. Rostislav Horčík. horcik

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

1. Základy logiky a teorie množin

Dějiny sociologie I. Periodizace, protosociologie a klasická sociologie (Comte, Spencer) VY_32_INOVACE_ZSV3r0103 Mgr.

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

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

Cvičení 4. negace konjunkce disjunkce implikace ekvivalence. a) Najděte UDNF, UKNF a stanovte log. důsledky. 1) [p (p q)] [( p q) (q p)]

Marie Duží

Pojem struktury z hlediska formální logiky

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

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

ZÁKLADY LOGIKY A METODOLOGIE

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

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

Matematická analýza 1

KMA/MDS Matematické důkazy a jejich struktura

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

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

Úvod do teoretické informatiky

Matematická logika. Rostislav Horčík. horcik

Inteligentní systémy (TIL) Marie Duží

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

Úvod do matematiky. Mgr. Radek Horenský, Ph.D. Důkazy

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

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

Binární logika Osnova kurzu

Sémantika predikátové logiky

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

Logika. 5. Rezoluční princip. RNDr. Luděk Cienciala, Ph. D.

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

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

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

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

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

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

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

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

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

Bakalářská matematika I

KMA/MDS Matematické důkazy a jejich struktura

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

Logika a logické programování

MATEMATICKÁ TEORIE ROZHODOVÁNÍ

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

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

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

Výroková logika II. Negace. Již víme, že negace je změna pravdivostní hodnoty výroku (0 1; 1 0).

Transkript:

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 logiky položil.... Aristotelés v díle Logika Aristotelés v díle Organon Platón Otázka číslo: 3 Člověk dokáže logicky myslet,.... když studuje logiku i když nestuduje logiku jen v dospělosti Otázka číslo: 4 Logika v Aristotelově pojetí se.... omezuje jen na zkoumání jednoduchých logických postupů

věnuje jen praktickým příkladům ze života stává základem matematické logiky Otázka číslo: 5 Na počátku... byly položeny základy moderní logiky. 2. poloviny 19. století 2. poloviny 20. století 20. století Otázka číslo: 6 Základy moderní logiky položil.... Bertrand Russel Georg Boole Ludwig Wittgenstein Otázka číslo: 7 Moderní logiku nazýváme též.... jazyková rozumová matematická, symbolická Otázka číslo: 8..., anglický matematik a filozof, významně rozvinul matematickou logiku. Ludwig Wittgenstein

Aristotelés Bertrand Russel Otázka číslo: 9 Základní filozofickou metodou je dle Russela metoda.... logické analýzy odůvodnění pravdy logického argumentu Otázka číslo: 10 Russel vytvořil..., která je považována za příklad logické analýzy. teorii vlastností teorii popisů teorii jevů Otázka číslo: 11 Dle Russela se každý výraz přirozeného jazyka... analyzovat do logicky dokonalého jazyka, logicky dokonalý jazyk má dvě složky logickou a mimologický slovník. nedá dá za určitých okolností dá Otázka číslo: 12 Logika učí člověka... ve vyjadřování a při formulování myšlenek.

lstivosti přesnosti a preciznosti vznešenosti Otázka číslo: 13 Logika umožňuje... a vyvozovat logické závěry. kvalitně argumentovat vždy pochopit povahu věci pokládat protivné otázky Otázka číslo: 14 Jazyk má jako prostředek myšlení..., je nezávislý autonomní. vlastní zákony přejaté zákony a pravidla implantované zákony Otázka číslo: 15 Člověk se nerodí s vybavením konkrétním jazykem, ale postupně se je učí skrze konsenzus s ostatními lidmi, i proto říkáme, že konkrétní jazyky jsou.... umělé přirozené vlastní Otázka číslo: 16

Pro člověka je mluvení přirozené, má k němu vrozenou dispozici, konkrétní jazyk... má vrozený se sám od sebe rozvine se musí naučit Otázka číslo: 17 Jazyk se vyskytuje v různých formách, rozlišujeme jazyk.... mluvený a psaný mluvený a gesta mluvený, psaný a gesta Otázka číslo: 18 Pojmem výroky označujeme takové výroky, které jsou.... buď pravdivé, nebo nepravdivé správné a nesprávné konkrétní a abstraktní Otázka číslo: 19 Za vlastní jméno v logice považujeme výraz, kterým označujeme... předmět. právě jeden každý univerzální Otázka číslo: 20

Predikáty jsou výrazy vyjadřující.... původce děje vlastnosti či vztahy předmětů činitele děje Otázka číslo: 21 Předmět pojmenovaný vlastním jménem nazýváme... tohoto vlastního jména. konotát denotát detonát Otázka číslo: 22 Složené výroky jsou ty, které pomocí... tvoří jiné výroky. vzorců znaménka + logických spojek Otázka číslo: 23 Výroky složené pomocí spojky a, jsou v logice.... implikace disjunkce konjunkce

Otázka číslo: 24 Výroky složené pomocí spojky nebo, jsou v logice.... konjunkce implikace disjunkce Otázka číslo: 25 Výroky složené pomocí spojky jestliže, pak, jsou v logice.... implikace konjunkce disjunkce Otázka číslo: 26 Výroky složené pomocí spojky právě tehdy, když, jsou v logice.... kontradikce negace ekvivalence Otázka číslo: 27 Výroky složené pomocí spojky není pravda, že, jsou v logice.... negace ekvivalence kontradikce

Powered by TCPDF (www.tcpdf.org) Otázka číslo: 28 Výroky složené, které jsou vždy nepravdivé (protimluvné), říkáme v logice.... kontradikce ekvivalence negace Otázka číslo: 29 Dynamikou vnitřního dění a tedy i myšlením se zabývá.... psychologie logika neurologie Otázka číslo: 30 Logika na rozdíl od psychologie zkoumá.... pevné struktury myšlení po stránce formální i obsahové volné struktury myšlení po stránce obsahové pevné struktury jednání po stránce formální