Matematika Cvičení 4.

Slides:



Advertisements
Podobné prezentace
Výrok a jeho negace.
Advertisements

NEROSTY A HORNINY Rozhodněte, zda dané výroky o nerostech a horninách jsou pravdivé či nepravdivé. (správná odpověď se zbarví do zelena) Nepravdivé výroky.
TENTO PROJEKT JE SPOLUFINANCOVÁN EVROPSKÝM SOCIÁLNÍM FONDEM
Matematická logika Použití Výrok Pravda a nepravda Logické funkce
Predikátová logika1 Predikátová logika 1. řádu Teď „logika naostro“ !
Gymnázium, Broumov, Hradební 218
Autor: Mgr. Jana Pavlůsková Datum: květen 2012 Ročník: 6. Vzdělávací oblast: Matematika a její aplikace Vzdělávací obor: Matematika a její aplikace Tematický.
Gymnázium, Broumov, Hradební 218
Výroková logika.
Gymnázium, Žamberk, Nádražní 48 Projekt: CZ.1.07/1.5.00/ Inovace ve vzdělávání na naší škole Název:Výrok a jeho negace Autor:Mgr. Petr Vanický.
Gymnázium, Broumov, Hradební 218 Vzdělávací oblast: Základní poznatky z matematiky Číslo materiálu: EU Název: Výrok a jeho negace Autor: Mgr. Ludmila.
Přednáška 2: Formalizace v jazyce logiky.
TENTO PROJEKT JE SPOLUFINANCOVÁN EVROPSKÝM SOCIÁLNÍM FONDEM
Obchodní akademie, Ostrava-Poruba, příspěvková organizace Vzdělávací materiál/DUMVY_32_INOVACE_08B09 AutorRNDr. Marcela Kepáková Období vytvořeníProsinec.
Predikátová logika.
Pre-algebra Antonín Jančařík.
Matematická logika Michal Sihelský T4.C. Matematická logika Vznikla v 19. století Zakladatelem byl anglický matematik G. Boole ( ) prosadil algebraické.
KONJUNKCE Mgr. Martina Fainová TENTO PROJEKT JE SPOLUFINANCOVÁN EVROPSKÝM SOCIÁLNÍM FONDEM A STÁTNÍM ROZPOČTEM ČR.
Netradiční varianty výrokové logiky
Základní logické spojky.  Výrokem rozumíme každé tvrzení tedy (oznamovací větu), o kterém můžeme rozhodnout zda je pravdivé či nikoliv.  Je-li pravdivé.
Výroková logika.
Násobení mnohočlenů.
Marie Duží Logika v praxi Marie Duží 1.
Porovnávání desetinných čísel
Výroková logika.
PYTHAGOROVA VĚTA PŘÍKLADY
ZŠ a MŠ Olšovec, příspěvková organizace Vzdělávací materiál, šablona – Inovace a zkvalitnění výuky směřující k rozvoji matematické gramotnosti žáků základní.
NÁZEV ŠKOLY: Základní škola Javorník, okres Jeseník REDIZO:
Marie Duží vyučující: Marek Menšík Logika: systémový rámec rozvoje oboru v ČR a koncepce logických propedeutik pro mezioborová studia.
Rezoluční metoda 3. přednáška
Výroková logika.
Nové modulové výukové a inovativní programy - zvýšení kvality ve vzdělávání Tento projekt je spolufinancován Evropským sociálním fondem a státním rozpočtem.
Predikátová logika1 Predikátová logika 1. řádu Teď „logika naostro“ !
Reprezentace znalostí
Umocňování mocnin.
Znaky dělitelnosti 4 Číslo je dělitelné čtyřmi, právě když je čtyřmi dělitelné jeho poslední dvojčíslí. Např.: Číslo 3936 je dělitelné čtyřmi, protože.
Soustavy rovnic počet řešení. x + y = 6 2x – y = 6 zvolíme sčítací metodu 3x = 12 x = y = 6 y = 2 zk.: L 1 = = 6 P 1 = 6L 1 = P 1 L 2 = 8.
ZÁKLADNÍ GEOMETRICKÉ TVARY
Kombinatorika, pravděpodobnost, statistika
Parametrické vyjádření přímky v rovině
Parametrická rovnice přímky
Autorem materiálu a všech jeho částí, není-li uvedeno jinak, je Mgr. Radim Frič. Slezské gymnázium, Opava, příspěvková organizace. Vzdělávací materiál.
Rezoluční metoda ve výrokové logice Marie Duží. Matematická logika2 Rezoluční metoda ve výrokové logice Sémantické tablo není výhodné z praktických důvodů.
Дац.В.А.Міхедзька Геапалітычнае становішча Беларусі ў я гг. XX ст. Заходняя Беларусь у складзе польскай дзяржавы 1.Рыжская мірная дамова 1921 г.
Gymnázium, Žamberk, Nádražní 48 Projekt: CZ / /34
Gymnázium, Žamberk, Nádražní 48 Projekt: CZ / /34
Gymnázium, Žamberk, Nádražní 48 Projekt: CZ / /34
Fuzzy-množinová QCA Karel Kouba.
DIGITÁLNÍ UČEBNÍ MATERIÁL
Výukový materiál zpracován v rámci projektu EU peníze školám
MATEMATIKA Obsah přednášky. Opakování, motivační příklady Funkce.
MATEMATIKA Obsah přednášky. Opakování, motivační příklady Funkce.
Název projektu: Podpora výuky v technických oborech
Soustava dvou lineárních rovnic se dvěma neznámými
MATEMATIKA Obsah přednášky. Opakování, motivační příklady Funkce.
VY_32_INOVACE_Pel_I_06 Výrazy – postupné vytýkání
Parametrické vyjádření roviny
Název školy, adresa: Základní škola a mateřská škola Kamenný Přívoz,
Predikátová logika (1. řádu).
Příklady výroková logika
Petr Dvořák Filosofický ústav AV ČR
Výroková logika Analyzuje způsoby skládání jednoduchých výroků do výroků složených pomocí logických spojek. 1.
MATEMATIKA Obsah přednášky. Opakování, motivační příklady Funkce.
Sémantika PL1 Interpretace, modely
Rozklad mnohočlenů na součin
Predikátová logika.
VÝROKOVÁ LOGIKA Centrum pro virtuální a moderní metody a formy vzdělávání na Obchodní akademii T.G. Masaryka, Kostelec nad Orlicí Autor: Mgr. Renata Čermáková.
Soustava dvou lineárních rovnic se dvěma neznámými
Název školy, adresa: Základní škola a mateřská škola Kamenný Přívoz,
Matematika 2. ročník - sčítání a odčítání Název materiálu
Transkript prezentace:

Matematika Cvičení 4

V kterých ohodnoceních jsou dané formule pravdivé / nepravdivé? (x⇒¬x) & (¬x⇒x) x ⇒ (x⇒y) x & (y ⇒ (z ∨ x)) (x ⇒ ¬x) ⇔ ¬x (x ∨ ¬y) ⇒ (¬x & y) (((x ∨ y) & z) & y) ∨ x

Řešení V žádném pravdivostním ohodnocení Pro pravdivostní ohodnocení u(x) = 1, u(y) = 0 Pro všechna ohodnocení, pro něž je u(x) = 1 V každém pravdivostním ohodnocení. Pro pravdivostní ohodnocení u(x) = 0 a u(y) = 1 011, 100, 101, 110, 111

Zjistěte, zda modrá formule je sémantickým důsledkem červených formulí 1. x ∨ ¬y ¬x & y 2. x ∨ ¬y y 3. x x & y 4. x ∨ y z & (x ⇒ y) x

Řešení Ne Ano