Logické úlohy, vč. řešení. Marta Volfová



Podobné dokumenty
Cvičení z logiky I. RNDr. Kateřina Trlifajová PhD. Katedra teoretické informatiky Fakulta informačních technologíı BI-MLO, ZS 2011/12

Matematický KLOKAN 2007 kategorie Junior (A) 8 (B) 9 (C) 11 (D) 13 (E) 15 AEF? (A) 16 (B) 24 (C) 32 (D) 36 (E) 48

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

Modulární systém dalšího vzdělávání pedagogických pracovníků JmK. v přírodních vědách a informatice CZ.1.07/1.3.10/

Matematika pro informatiky KMA/MATA

KALENDÁŘOVÉ ÚLOHY PRO TALENTY, vč. metodického listu. doc. PhDr. Marta Volfová, CSc.

Přepočet přes jednotku - podruhé I

Úvod do informatiky. Miroslav Kolařík

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

I) Příklady (převeďte následující věty do formulí PL1 a ověřte jejich ekvivalenci pomocí de Morganových zákonů):

LOGIKA VÝROKOVÁ LOGIKA

Název DUM: Úlohy o pohybu

I. kolo kategorie Z7

Zvyšování kvality výuky technických oborů

ÚLOHY SE SPORTOVNÍ TÉMATIKOU PRO MATEMATICKÉ TALENTY, vč. metodického listu. doc. PhDr. Marta Volfová, CSc.

PŘIJÍMACÍ ZKOUŠKY 2008

1 Výrok a jeho negace

STUDIJNÍ DOVEDNOSTI DIDAKTICKÝ TEST. Zadání neotvírejte, počkejte na pokyn! SD1ACZZ506DT. Hodnocení výsledků vzdělávání žáků 5.

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

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

Modulární systém dalšího vzdělávání pedagogických pracovníků JmK. v přírodních vědách a informatice CZ.1.07/1.3.10/

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

FUNKCE POJEM, VLASTNOSTI, GRAF

Úlohy o počtech prvků

VÝROKOVÁ LOGIKA. Výrok srozumitelná oznamovací věta (výraz, sdělení), která může být buď jen pravdivá nebo jen nepravdivá..

Poznávání struktury a PROSTŘEDÍ RODINA. Darina Jirotková

4.2 Syntaxe predikátové logiky

Sémantika výrokové logiky. Alena Gollová Výroková logika 1/23



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

Test žáka. Zdroj testu: Celoplošná zkouška 2. Školní rok 2012/2013 MATEMATIKA. Jméno: Třída: Škola: Termín provedení testu:

O S L A V Y O B C E 4/2012 strana 5

Kvantita (u subjektu) všechny prvky množiny (všichni, každý, nikdo, žádní ) některé prvky množiny (některý, existuje,.) predikát.

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

Úvod do řešení lineárních rovnic a jejich soustav

Prohlášení ú astníka výb rového ízení k výb rovému ízení ís. SBN/020/2015

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

M - Výroková logika VARIACE

MIŠ MAŠ. 47 POJEM funkce,d,h notebook. February 04, Základní škola Nýrsko, Školní ulice, příspěvková organizace.

Digitální učební materiál

Okruh č.9: sémantické metody dokazování v PL1 model formule Tradiční Aristotelova logika kategorický sylogismus subjekt predikátové výroky

Přípravný kurz. k přijímacím zkouškám z matematiky pro uchazeče o studium na gymnáziu (čtyřletý obor) pro

Zkouška z českého jazyka pro cizince. Úroveň B1 POSLECH S POROZUMĚNÍM

Úvod do informatiky. Miroslav Kolařík

Výroková logika syntaxe a sémantika

Přijímací zkouška na MFF UK v Praze

Test žáka. Zdroj testu: Celoplošná zkouška 2. Školní rok 2012/2013 MATEMATIKA. Jméno: Třída: Škola: Termín provedení testu:

ÚLOHY VYUŽÍVAJÍCÍ DIRICHLETŮV PRINCIP

Metodika poradenství. Vypracovali: Jiří Šupa Edita Kremláčková

MATEMATIKA PŘIJÍMACÍ ZKOUŠKA K 8LETÉMU STUDIU NA SŠ ROK 2013

Úvod do logiky (VL): 4. Zjištění průběhu pravdivostních hodnot formule tabulkovou metodou

Přijímací zkouška - matematika

Cvičení z logiky II.

CVIČNÝ TEST 27. OBSAH I. Cvičný test 2. Mgr. Tomáš Kotler. II. Autorské řešení 6 III. Klíč 13 IV. Záznamový list 15

Matematika NÁRODNÍ SROVNÁVACÍ ZKOUŠKY DUBNA 2017

Kategorie: U 1 pro žáky 1. ročníků učebních oborů

přednáška 2 Marie Duží

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

Kapitola Výroky

Metodické pokyny k pracovnímu listu č Úlohy o pohybu, společné práci a směsích

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

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

MATEMATIKA PŘIJÍMACÍ ZKOUŠKA KE 4LETÉMU STUDIU NA SŠ ROK 2014

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

Aplikační úlohy z geometrie

Kvantifikované výroky a jejich negace

NAIVNÍ TEORIE MNOŽIN, okruh č. 5

SOUBOR OTÁZEK. 8. ročník

4 Rovnice a nerovnice

Podkrušnohorské gymnázium, Most

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

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

Sedm sněhuláků a jiné detektivní případy pro začínající detektivy. Cílem je pozorné čtení textu, sledování obrázků, hledání a dokazování řešení.

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

Bible pro děti představuje. Narození Ježíše

1. Dvě mince dávají dohromady 3 koruny, i když jedna z nich není koruna. Co je to za mince?

Matematická analýza 1

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

SOUHRNNÝ PŘEHLED nově vytvořených / inovovaných materiálů v sadě

Název projektu: Poznáváme sebe a svět, chceme poznat více

Úvod do plánování: Zadání úloh PDDL

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

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

Bible pro děti. představuje. Narození Ježíše

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

SPORTOVNÍ HRY DD ČR V TACHOVĚ POŘADATEL: DĚTSKÝ DOMOV TACHOV TERMÍN KONÁNÍ: ČERVNA 2018 MÍSTO KONÁNÍ: SPORTOVIŠTĚ MĚSTA TACHOV

VZOROVÝ STIPENDIJNÍ TEST Z MATEMATIKY

Matematická indukce, sumy a produkty, matematická logika

MATEMATIKA 9. TŘÍDA. 0,5 b. Umocnění výrazu (x 2) 2 : 3 hmotnosti nákupu a 2 kg. Kolik kilogramů. Nákup vážil 5

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

Bůh povznese Josefaotroka

Úvod do logiky (PL): sémantika predikátové logiky

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

Jedná se o slovní úlohy s tématy běžného života. Žáci řeší slovní úlohy pomocí trojčlenky.

Zadání a řešení testu z matematiky a zpráva o výsledcích přijímacího řízení do magisterského navazujícího studia od podzimu 2014

Stonožka jak se z výsledků dozvědět co nejvíce

ISŠT Mělník. Integrovaná střední škola technická Mělník, K učilišti 2566, Mělník Ing.František Moravec

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

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

Transkript:

Logické úlohy, vč. řešení Marta Volfová Centrum talentů M&F&I, Univerzita Hradec Králové, 2010

Logické úlohy 1. Muž cestuje s (částečně ochočeným) vlkem, kozou a pytlem zelí. Dojde k dosti široké a hluboké řece, u níž je loďka k použití. Bohužel se na ni vejde kromě muže buď jen vlk, nebo jen koza, nebo jen zelí. Přitom ale nesmí na břehu zůstat sám (bez lidského dohledu) vlk s kozou ani koza se zelím. Jak (a za kolik jízd) se všichni mohou dostat na druhý břeh? 2. Petr řekl, že na oslavu jeho narozenin přišlo více než 6 hostů a jeho sestra Lenka řekla, že přišlo více než 5 hostů. Kolik tedy přišlo hostů víme-li, že právě jedno sdělení je pravdivé a jedno nepravdivé? 3. Bochník váží půl kilogramu a půl bochníku. Kolik (v kg) váží bochník? 4. Chlapec si chce z půdy donést jeden pár čistých ponožek. Na půdě je ale tma a ponožky jsou a) bílé a černé, b) bílé, černé a šedé, c) bílé, černé, šedivé, béžové. (Ode všech barev je ponožek dostatečný počet, aspoň 8.) Kolik jich musí z půdy přinést, aby byly mezi nimi určitě aspoň dvě stejné barvy? (Na barvě ponožek jinak chlapci nezáleží.) 5. Kolik musí být ve skupině dětí, aby se určitě aspoň dvě narodily a) ve stejném měsíci, b) ve stejném dnu týdne? 6. Úlohy z Ostrova Lhářů a Poctivců. a) Kolik lze dostat odpovědí na otázku: Jsi Lhář nebo Poctivec? b) Jeden člověk řekl: Jsem Lhář. Byl z tohoto ostrova? c) Jeden z dvojice obyvatelů ostrova řekl: My jsme oba Lháři. Kdo byl ten, kdo mluvil a kdo byl druhý z dvojice? d) Stejná situace, stejná otázka, jen jiný výrok: Oba jsme Poctivci. e) Stejná situace, stejná otázka, jen jiný výrok: Aspoň jeden z nás je Poctivec f) Stejná situace, stejná otázka, jen jiný výrok: Právě jeden z nás je Poctivec g) Stejná situace, stejná otázka, jen jiný výrok: Nejvýš jeden z nás je Poctivec 7. Pan Malíř, pan Pekař a pan Zahradník si povídají. Najednou jeden z nich, co pracoval jako pekař, říká: My máme stejná jména jako příjmení, ale nikdo nemá stejné jméno jako povolání. Máte pravdu, pane Malíři, říká další z nich.

Řešení úloh z logiky (část pro mladší žáky ) a metodická doporučení k nim ad 1. Jde o velmi starou úlohu, známou v řadě variací. První setkání s ní bývá radostné, vyvolává veselost i opravdovou snahu ji vyřešit. (Nejmladší žáci si mohou situaci a její řešení názorně přehrát.) Řešení: 1. břeh přejíždí 2. břeh M v k z Ø v z M k Ø v z M k v M z k v M k z k M v z k M v z Ø M k v z Ø M v k z ad 2. Úloha je pro starší žáky jednoduchá, mladším se může zdát záhadná. Žáci si mohou vypsat několik možností, které odpovídají tvrzení Petra, tj. {7; 8; 9; } a tvrzení Lenky {6; 7; }. Řešení: přišlo 6 hostů 1 x ad 3. Opět jde o známou úlohu. Řešitelé obeznámení s algebrou ji řeší rovnicí x = 2 + 2, mladší pak jen úsudkem. Lze využít i znázornění situace na rovnoramenné váze. Řešení: 1 kg ad 4. Jde o jednoduché úlohy na tzv. Dirichletův princip. (U mladších dětí lze opět využít dramatizace.) Řešení: a) 3 ponožky, b) 4 ponožky, c) 5 ponožek ad 5. Opět úloha na Dirichletův princip. Řešení: a) 13 dětí (kdyby jich bylo 12, každý by se mohl narodit v jiném měsíci; ten třináctý se musí s někým shodovat) b) 8 dětí ad 6. a), b) Opět si lze situaci přehrát (jeden hraje Lháře, jeden Poctivce) Řešení: a) Jsem Poctivec b) Nemůže být z toho ostrova c) Složení dvojice může být: PP..... pak odpověď nemůže být Jsme oba Lháři (P mluví vždy pravdu!) LL..... pak odpověď nemůže být Jsme oba Lháři (L vždy lže!) PL..... kdyby mluvil P: nemůže být Jsme oba Lháři kdyby mluvil L: Může být Řešení: odpovídal Lhář, druhý z dvojice byl Poctivec d) Opět lze probrat možná složení dvojice

PP..... odpověď Jsme oba Poctivci může být LL..... odpověď Jsme oba Poctivci může také být PL..... odpověď Jsme oba Poctivci může také být, odpovídá-li L, ale nemůže, odpovídá-li P Řešení: nelze určit, kdo byl odpovídající a kdo ten druhý V těchto situacích se často doplňuje, že ve dvojici je vždy 1 Lhář, 1 Poctivec. Pak je odpověd: mluvil Lhář, druhý je Poctivec. e) Zní-li výrok: Aspoň jeden z nás je Poctivec, pak pro PP...... může být vyřčeno, LL...... může být vyřčeno, odpovídá-li P PL...... může být vyřčeno, odpovídá-li P Nemůže, odpovídá-li L Řešení: nelze určit jednoznačně Víme-li, že ve dvojici je právě jeden P a jeden L, pak je odpověď: mluvil P, druhý ve dvojici je L. Zní-li však výrok: Aspoň jeden z nás je Lhář, pak pro LL..... nemůže být vyřčeno Řešení: mluvil P, druhý z dvojice je L f) výrok: Právě jeden z nás je Poctivec LL..... může být vyřčeno Řešení: nelze určit mluvčího, druhý z dvojice je Lhář Zní-li výrok: Právě jeden z nás je Lhář LL..... může být řečeno Řešení: nelze určit; víme-li však, že ve dvojici je právě jeden P a jeden L, pak odpovídal Poctivec a druhý je Lhář. g) výrok: Nejvýš jeden z nás je Poctivec LL..... nemůže být vyřčeno Řešení: odpovídal Poctivec, druhý je Lhář Kdyby výrok zněl: Nejvýš jeden z nás je Lhář: PP..... může být LL..... může být PL.....může být, odpovídá-li P, nemůže tak mluvit L (mluvil by pravdu) Řešení nelze určit; víme-li však, že ve dvojici je právě jeden P a jeden L, pak odpovídal Poctivec a druhý je Lhář ad 7. Lze řešit úsudkem. Jako pomoc mladším lze využít tabulku, kde správné přiřazení značíme /, nemožné Malíř Pekař Zahradník malíř pekař / zahradník

Z textu lze vyčíst, že pan Malíř je pekařem (nemůže tedy jím být pan Zahradník a ten je proto malířem a pan Pekař je zahradníkem).