Cílem kurzu je seznámit studenty se základy formální logické analýzy jazyka a argumentace. V rámci kurzu budou
představeny základní pojmy a metody analýzy pomocí výrokové a predikátové logiky:
Výroková logika: (a) jazyk výrokové logiky, sémantika výrokových spojek, (b) modely formulí, (c) ověřování
úsudku (tabulková metoda; metoda protipříkladu), (d) ekvivalentní úpravy formulí.
Predikátová logika: (a) jazyk predikátové logiky, (b) logický čtverec, (c) ověřování úsudku (metoda Vennových
diagramů)
Hlavní témata ? osnova:
1. Úvodní přednáška
2. Co je logika, logické vyplývání, logicky platný úsudek, stručné dějiny logiky
3. Výroková logika (VL): jazyk VL, sémantika výrokových spojek
4. Analýza výroků přirozeného jazyka pomocí VL
5. Modely formulí VL: modely, splnitelnost
6. Ekvivalentní úpravy formulí
7. Ověřování úsudku: tabulková metoda
8. Ověřování úsudku: metoda protipříkladu
9. Predikátová logika prvního řádu (PL1): jazyk PL1
10. Analýza výroků přirozeného jazyka prostřednictvím PL1
11. Ekvivalentní úpravy formulí
12. Logický čtverec
13. Ověřování úsudku v PL (metoda Vennových diagramů)
- Učitel: Iva Svačinová
- Učitel: Ondřej Vinař