Matematická logika

• Úvod
• Témata
• Kontakty

Požadovaná stránka nebyla nalezena.

• Titulní strana

• Úvod

• Výroky

  • Výrok
  • Pravdivostní ohodnocení
  • Negace
  • Značení

• Logické spojky

  • Smysl spojek
  • Konjunkce
  • Disjunkce
  • Implikace
  • Ekvivalence
  • Shrnutí

• Negace spojek

  • Negace logických spojek
  • Negace konjunkce
  • Negace disjunkce
  • Negace implikace
  • Negace ekvivalence
  • Shrnutí

• Složitější výroky

  • Složitější výroky
  • Pravdivost složitějších výroků
  • Výrokové proměnné
  • Tautologie, obměněná a obrácená implikace
  • Negace ekvivalence složitějších výroků

• Kvantifikátory

  • Volné a vázané proměnné
  • Obecný kvantifikátor
  • Existenční kvantifikátor
  • Příklady
  • Negace výroků s kvantifikátory
  • Shrnutí

• Množiny

  • Připomenutí
  • Inkluze a rovnost
  • Doplněk
  • Rozdíl
  • Sjednocení
  • Průnik
  • Vennovy diagramy
  • Množinové operace na Vennových diagramech
  • De Mogranovy vzorce
  • Tři množiny
  • Příklady
  • Vyšší počty množin
  • Shrnutí

• Důkazy

  • Pojem důkazu
  • Nutná a postačující podmínka
  • Přímý důkaz
  • Nepřímý důkaz
  • Matematická indukce
  • Cvičení
  • Výstavba matematiky
  • Shrnutí

• Testy

  • Výroky
  • Logické spojky
  • Složitější výroky
  • Kvantifikátory
  • Množiny

• Nápověda


Notice: Undefined index: titlepar in /srv/beegfs/sekce23/html/portal/logika/include/menu.inc on line 120