Ú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

Úvod do logiky (VL): 7. Ekvivalentní transformace

Úvod do logiky (VL): 7. Ekvivalentní transformace

01_ Výroky.pdf

01_ Výroky.pdf

„ Jednat autoritářsky je ten nejjistější způsob, jak všechnu autoritu

„ Jednat autoritářsky je ten nejjistější způsob, jak všechnu autoritu

Úvod do logiky (VL): 10. Výrokově

Úvod do logiky (VL): 10. Výrokově

Typy a n-tice

Typy a n-tice

- jurajsabol.sk

- jurajsabol.sk

1. riadny termín skúšky

1. riadny termín skúšky

Logika a formální sémantika: 3. Teorie modelů a sémantika

Logika a formální sémantika: 3. Teorie modelů a sémantika

Document

Document

Ing. Petr Cintula, PhD. - Učená společnost České republiky

Ing. Petr Cintula, PhD. - Učená společnost České republiky