VÝROKY
Jednoduchý výrok
- určovanie "je - nie je" výrok (html)
- priraďovanie pravdivostnej hodnoty ku jednoduchému výroku (html)
- negácia jednoduchých výrokov (html)
- negácia výrokov "aspoň, najviac, menej, viac" (html)
- výroková forma (pravdivostné hodnoty) (html)
Logické spojky
- logické spojky v živote (konjunkcia, disjunkcia, implikácia, ekvivalencia) (html)
- pravdivostná hodnota mat. výrokov so spojkami ∧, ∨ (html)
- pravdivostná hodnota mat. výrokov so spojkami ∧, ∨, ⇒ (html)
- pravdivostná hodnota zloženého výroku v tabulke (2 výroky) (html)
- pravdivostná hodnota zloženého výroku v tabuľke (3 výroky) (html)
- pravdivostná hodnota pre jedno ohodnotenie výrokov (slovne ∧, ∨, ⇒) (html)
- negácia logických spojok (všeobecne) (html)
- negácia logických spojok v symboloch (∧, ∨, ⇒) (html)
- negácia logických spojok vo vetách (∧, ∨, ⇒) (html)
- obmena implikácie (html)
- obmenená a obrátená implikácia (html)
- logika mix (html)
- rôzne úlohy z logiky (html)
- logika v úlohách I. (negácia výroku, kvantifikované výroky) - kvíz (html)
- logika v úlohách II. (kvantifikované výroky, dôkaz, def.) - kvíz (html)
Kvantifikátory
- výroková forma s kvantifikátorom (pravdivostné hodnoty) (html)