Logika
Logika, vyberte položku z menu...
Táto kategória zahŕňa výrokovú logiku, vypĺňanie pravdivostných tabuliek a úvod do predikátovej logiky a kvantifikovaných výrokov.
- Úvod do logiky (čo je to logika, jej história, výroková logika: výrok, negácia, konjunkcia, disjunkcia, implikácia, ekvivalencia)
- Pravdivostné tabuľky výrokovej logiky (vypĺňanie pravdivostných tabuliek pre dve a tri premenné, tautológia a kontradikcia)
- Kvantifikované výroky a predikáty (existenčný a všeobecný kvantifikátor, negácia kvantifikovaných výrokov, výroky o počte: aspoň, najviac, práve N)