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

Přehled kapitol

    Notice: Use of undefined constant str_adresa - assumed 'str_adresa' in /srv/beegfs/web/web/kdm/diplomky/moravecdp/kapitoly.php on line 14 Notice: Use of undefined constant str_jmeno - assumed 'str_jmeno' in /srv/beegfs/web/web/kdm/diplomky/moravecdp/kapitoly.php on line 14
  1. Výroky
    2. Notice: Use of undefined constant str_adresa - assumed 'str_adresa' in /srv/beegfs/web/web/kdm/diplomky/moravecdp/kapitoly.php on line 14 Notice: Use of undefined constant str_jmeno - assumed 'str_jmeno' in /srv/beegfs/web/web/kdm/diplomky/moravecdp/kapitoly.php on line 14
  2. Logické spojky
    3. Notice: Use of undefined constant str_adresa - assumed 'str_adresa' in /srv/beegfs/web/web/kdm/diplomky/moravecdp/kapitoly.php on line 14 Notice: Use of undefined constant str_jmeno - assumed 'str_jmeno' in /srv/beegfs/web/web/kdm/diplomky/moravecdp/kapitoly.php on line 14
  3. Negace spojek
    4. Notice: Use of undefined constant str_adresa - assumed 'str_adresa' in /srv/beegfs/web/web/kdm/diplomky/moravecdp/kapitoly.php on line 14 Notice: Use of undefined constant str_jmeno - assumed 'str_jmeno' in /srv/beegfs/web/web/kdm/diplomky/moravecdp/kapitoly.php on line 14
  4. Složitější výroky
    5. Notice: Use of undefined constant str_adresa - assumed 'str_adresa' in /srv/beegfs/web/web/kdm/diplomky/moravecdp/kapitoly.php on line 14 Notice: Use of undefined constant str_jmeno - assumed 'str_jmeno' in /srv/beegfs/web/web/kdm/diplomky/moravecdp/kapitoly.php on line 14
  5. Kvantifikátory
    6. Notice: Use of undefined constant str_adresa - assumed 'str_adresa' in /srv/beegfs/web/web/kdm/diplomky/moravecdp/kapitoly.php on line 14 Notice: Use of undefined constant str_jmeno - assumed 'str_jmeno' in /srv/beegfs/web/web/kdm/diplomky/moravecdp/kapitoly.php on line 14
  6. Množiny
    7. Notice: Use of undefined constant str_adresa - assumed 'str_adresa' in /srv/beegfs/web/web/kdm/diplomky/moravecdp/kapitoly.php on line 14 Notice: Use of undefined constant str_jmeno - assumed 'str_jmeno' in /srv/beegfs/web/web/kdm/diplomky/moravecdp/kapitoly.php on line 14
  7. Důkazy