Přispějte zde!

Formální logika (výroky)

Matematika SŠ » Základní poznatky » Formální logika (výroky) »

aktualizováno: 13. 11. 2018 23:58

Seznam hodin

010401 Výroky
010402 Negace jednoduchých výroků
010403 Konjunkce a disjunkce
010404 Implikace
010405 Ekvivalence
010406 Negace složených výroků I
010407 Negace složených výroků II
010408 Kvantifikované výroky
010409 Negace kvantifikovaných výroků
010410 Formální logika - shrnutí
010411 Logická stavba matematiky, důkazy