Úvod do logiky (VL): 5. Odvození výrokových spojek z jiných

Logické spojky

Logické spojky

TŘÍDA I4 - skolavdf.cz

TŘÍDA I4 - skolavdf.cz

Trochu obšírnìjší výklad

Trochu obšírnìjší výklad

7.3 Negace a ekvivalence formulí, které nespadají pod logický čtverec

7.3 Negace a ekvivalence formulí, které nespadají pod logický čtverec

Úvod do logiky (VL): 6. Vybrané tautologie

Úvod do logiky (VL): 6. Vybrané tautologie

Priorita operátoru

Priorita operátoru

seminární text

seminární text

Výroková logika

Výroková logika

Predikátová logika

Predikátová logika

11. Ověřování, zda je formule tautologií metodou protipříkladu

11. Ověřování, zda je formule tautologií metodou protipříkladu

02 - Úsudok

02 - Úsudok

ověřování platnosti úsudků sémantickou metodou protipříkladu

ověřování platnosti úsudků sémantickou metodou protipříkladu