Výuka logiky
Úvod
Kapitoly
1. Výroky
Výrok Pravdivostní ohodnocení Negace výroku Značení
2. Logické spojky
Konjunkce Disjunkce Implikace Ekvivalence Tabulka pravd. ohodnocení
3. Negace spojek
Negace konjunkce Negace disjunkce Negace implikace
4. Složitější výroky
Pravdivost složitěj. výroků Výrokové proměnné Tautologie Obměn. a obrác. implikace Negace ekvivalence Negace složitějších výroků
5. Kvantifikátory
Volné a vázané proměnné Obecný kvantifikátor Existenční kvantifikátor Neg. výroků s kvantifikátory Neg. výroků s více kvantif.
6. Množiny
Inkluze a rovnost množin Sjednocení množin Rozdíl množin Doplněk množiny Průnik množin Disjunktní množiny Vennovy diagramy Základní množina Množ. oper. na Venn. diag. De Morganovy vzorce Venn. diag. pro 3 množiny Příklady s Venn. diagramy
7. Důkazy
Pojem důkazu Matematické věty Nutná a postač. podmínka Přímý důkaz jedn. výroku Přímý důkaz implikace Důkaz jedn. výroku sporem Důkaz obměněn. implikací Důkaz implikace sporem Důkaz matemat. indukcí Úlohy k procvičení O výstavbě matematiky
Nápověda
Testy
Notice: Use of undefined constant nazev - assumed 'nazev' in /srv/beegfs/web/web/kdm/diplomky/moravecdp/uvod-anonym.incl on line 82
1. Výroky
Notice: Use of undefined constant nazev - assumed 'nazev' in /srv/beegfs/web/web/kdm/diplomky/moravecdp/uvod-anonym.incl on line 82
2. Logické spojky
Notice: Use of undefined constant nazev - assumed 'nazev' in /srv/beegfs/web/web/kdm/diplomky/moravecdp/uvod-anonym.incl on line 82
3. Složitější výroky
Notice: Use of undefined constant nazev - assumed 'nazev' in /srv/beegfs/web/web/kdm/diplomky/moravecdp/uvod-anonym.incl on line 82
4. Kvantifikátory
Notice: Use of undefined constant nazev - assumed 'nazev' in /srv/beegfs/web/web/kdm/diplomky/moravecdp/uvod-anonym.incl on line 82
5. Množiny
NAHORU

Test Warning: mysql_select_db() expects parameter 1 to be string, resource given in /srv/beegfs/web/web/kdm/diplomky/moravecdp/testy.php on line 15 1 – Výroky

1. Za výrok lze považovat větu:

 Hradcem Králové protéká řeka Labe.

 V kolik hodin odjíždí rychlík Vsacan z Prahy?

 Posaďte se prosím!

2. Za výrok lze považovat zápis:

 x < 5

 4 < 5

 5 < 4

3. Uvažujme výrok: „Molekula vody se skládá z pěti atomů.“ Jeho pravdivostní ohodnocení je:

 1

 0

 Věta není výrokem.

4. Pravdivostní ohodnocení výroku A značíme:

 A

 ¬A

 v(A)

 Jiným způsobem.

5. Uvažujme výrok: „Síra není chemický prvek.“ Jeho negací je:

 Síra je chemický prvek.

 Není pravda, že síra je chemický prvek.

 Síra je halogenid.

6. Výrokem není věta:

 Labe protéká Olomoucí.

 Květina je zelená.

 Počítač se restartoval.

 Praotec Čech vystoupil na horu Říp.

7. Negací výroku „4 ≤ 5“ je::

 4 ≤ 5

 4 > 5

 ¬(4 ≤ 5)

 4 ≥ 5