Klasická logika (KFI/KLL)


Karel Šebela
Katedra filosofie
Fakulta filozofická Univerzity Palackého v Olomouci


Domácí cvičení v ZS 2016



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

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

3. domácí cvičení: Výroková logika logika - transformace
Zadání cvičení: Transformace formulí výrokové logiky na konjunktivní, resp. disjunktivní normální formy

4. domácí cvičení: Predikátová logika - logický čtverec
Zadání cvičení: Transformace formulí predikátové logiky na subjekt-predikátové formy

5.domácí cvičení: Platnost úsudků
Zadání cvičení: 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.