Opintojakso koostuu kahdesta osasta:
a) Lause- ja predikaattilogiikan alkeet (2 op)
b) Lause- ja predikaattilogiikan semantiikkaa ja todistusteoriaa (3op).
Kurssilla tutustutaan logiikan peruskäsitteisiin, kuten formaalin kielen, loogisen totuuden ja loogisen seurauksen käsitteisiin, ja perehdytään lause- ja predikaattilogiikan syntaksiin ja semantiikkaan.