ekvivalence a negace výroků logického čtverce formálně

ekvivalence a negace výroků logického čtverce formálně (cvičení)

ekvivalence a negace výroků logického čtverce formálně (cvičení)

Úvod do logiky (PL): logický čtverec

Úvod do logiky (PL): logický čtverec

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

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

4.2 Logický čtverec

4.2 Logický čtverec

Úkol č. 1

Úkol č. 1

5.1 Analýza vět, které nespadají pod logický čtverec

5.1 Analýza vět, které nespadají pod logický čtverec

Větné členy, druhy VV, stavba věty a význam slova

Větné členy, druhy VV, stavba věty a význam slova

Predikátová logika

Predikátová logika

hegel nürnberg yazıları felsefi propedeutik

hegel nürnberg yazıları felsefi propedeutik

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): 10. Výrokově

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

5.2 Analýza vět, které nespadají pod logický čtverec

5.2 Analýza vět, které nespadají pod logický čtverec

vy_32_inovace_11_ropa_zemni_plyn

vy_32_inovace_11_ropa_zemni_plyn

Převody problémů a NP

Převody problémů a NP

formalizace a ověřování platnosti úsudků

formalizace a ověřování platnosti úsudků

VYBRANÉ ZÁKONY VÝROKOVÉ LOGIKY

VYBRANÉ ZÁKONY VÝROKOVÉ LOGIKY

Logika a formální sémantika: 5. Modální logika

Logika a formální sémantika: 5. Modální logika

Zbraně a střelivo

Zbraně a střelivo

Úlohy k procvičení

Úlohy k procvičení