Logika I


Jiří Raclavský
Katedra filosofie
Fakulta filozofická Masarykovy univerzity v Brně


Průběžné testy pro ZS 2016



1.test: Aristotelská logika - logický čtverec
Zadání testu: Určování platnosti jednoduchých úsudků na základě logického čtverce

2.test: Výroková logika - tabulková metoda
Zadání testu: Určování pravdivostních podmínek formulí výrokové logiky na základě tabulkové metody

3.test: Výroková logika - transformace
Zadání testu: Transformace formulí výrokové logiky na konjunktivní­ resp. disjunktivní normální formy

4.test: Predikátová logika - logický čtverec
Zadání testu: Transformace formulí predikátové logiky na subjekt-predikátové formy

5.test: Platnost úsudků
Zadání testu: Ověřování platnosti úsudků prostřednictvím tabulkové metody a Vennových diagramů





Projekt ESF OPVK reg.č. CZ.1.07/2.2.00/07.0217 "ORGANON: LMS pro výuku logiky"
je spolufinancován z Evropského sociálního fondu a státního rozpočtu České republiky.