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.