Formální logika (výroky)

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

aktualizováno: 10. 11. 2016 21:18

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