Formální logika (výroky)
Matematika SŠ » Základní poznatky » Formální logika (výroky) »
aktualizováno: 27. 2. 2023 22:39
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 |