Opintojakso tutustuttaa logiikan peruskäsitteisiin ja perehdyttää lause- ja predikaattilogiikan syntaksiin ja semantiikkaan.
Osaamistavoitteet
Loogisten peruskäsitteiden, kuten formaalin kielen, loogisen totuuden ja loogisen seurauksen käsitteiden ymmärtäminen. Lause- ja predikaattilogiikan syntaksin ja intuitiivisen semantiikan sekä lauselogiikan luonnollisen päättelyn perusteiden hallinta.
Sisältö
Lauselogiikan syntaksi ja totuustaulumenetelmä; loogisen totuuden, seurauksen ja ekvivalenssin käsitteet; lauselogiikan luonnollisen päättelyn systeemi; 1. kertaluvun predikaattilogiikan kielten syntaksi, intuitiivinen semantiikka ja malliteorian alkeet.