Studijní materiály

Zpět

Hromadně přidat materiály

Výroková logika

2 - Matematika

Hodnocení materiálu:

Vyučující: RNDr. Jana Skopalová

Zjednodušená ukázka:

Stáhnout celý tento materiál

jsou jazykové výrazy či symboly, které
vyjadřují údaje o počtech objektů.
Obecný kvantifikátor -  - vyjadřuje, že daná vlastnost
platí pro každý prvek.
Obsahuje slova : všichni, každý, všechno, žádný, nikdo,.. Každý je svého štěstí strůjce.
Nikdo není neomylný.
Nic jsem nenašel.
Všichni přišli. Existenční kvantifikátor -  - vyjadřuje, že existuje
aspoň jeden prvek, který má danou vlastnost.
Obsahuje slova: existuje, najde se, některý, někdo,
něco, aspoň jeden,lze najít, …
Někteří to přinesli.
Lze najít řešení.
Někdo přijde.
Existuje nějaké řešení. Výrok Negace výroku Každý … je ----
Aspoň jeden … je ---
Aspoň n … je --- (n1)
Nejvýš n … je --- (1) Aspoň jeden … není ---
Žádný … není ---
Nejvýš (n-1) … je ---
Aspoň (n+1) … je --- V - Každý člověk má (nějakou) zálibu.
V´- Existuje aspoň jeden člověk, který nemá zálibu. V – Najde se člověk starý aspoň 200 let.
V´- Všichni lidé jsou mladší 200 let. V – Bylo nás nejvýš deset.
V´- Bylo nás aspoň jedenáct.

Stáhnout celý tento materiál

Předchozí

1 2 3

Vloženo: 11.12.2010, vložil: Petr Kopřiva

Velikost: 539,50 kB

Stáhnout celý tento materiál

Komentáře

Tento materiál neobsahuje žádné komentáře.

Mohlo by tě zajímat:

Reference vyučujících předmětu 2 - Matematika
Reference vyučujícího RNDr. Jana Skopalová

Podobné materiály