4.2 Logický čtverec

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

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

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 (VL): 6. Vybrané tautologie

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

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

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

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

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

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

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

Predikátová logika

Predikátová logika

01_ Výroky.pdf

01_ Výroky.pdf

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

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

VESTAVĚNÉ PREDIKÁTY JAZYKA PROLOG

VESTAVĚNÉ PREDIKÁTY JAZYKA PROLOG

Program akce

Program akce

3M hledá inovativní využití revolučního suchého

3M hledá inovativní využití revolučního suchého

Logika a formální sémantika: 7. Hyperintenzionální logika

Logika a formální sémantika: 7. Hyperintenzionální logika

IV. Gramatika A. Tvarosloví

IV. Gramatika A. Tvarosloví

Psychológia - akademiavyzivy.sk

Psychológia - akademiavyzivy.sk

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

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

Cvičení 13

Cvičení 13

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

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

Zbraně a střelivo

Zbraně a střelivo