Pojmovne osnove iskazne logike. Valjanost, zadovoljivost, istovrijednost.
Prevođenje običnih rečenica na jezik iskazne logike.
Semantičke metode očuvanja istine: Istinitosne tablice, reductio ad absurdum i
istinitosno stablo.
Sintaktički izvodi unutar sustava prirodne dedukcije
- Nositelj kolegija: Jure Zovko
- Izvođač kolegija: Mate Penava
Izborni seminar namijenjen studentima preddiplomskog studija (1. - 3. godina) Odjela za filozofiju Sveučilišta u Zadru, u zimskom semestru ak. god. 2022/2023.
- Nositelj kolegija: Jure Zovko
- Izvođač kolegija: Maja Ferenec Kuća