Opintojakson suoritettuaan opiskelija osaa lukea ja kirjoittaa lause- ja predikaattilogiikan kieliä ja on sisäistänyt logiikan semanttiset peruskäsitteet, erityisesti loogisen totuuden ja seurauksen käsitteet, niin että hän osaa arvioida, ovatko teksteissä esiintyvät päätelmät päteviä. Hän myös ymmärtää deduktiivisen päättelyn ja todistamisen idean, niin että hän osaa rakentaa yksinkertaisia deduktioita lauselogiikan luonnollisen päättelyn systeemissä.

Kurssi koostuu kymmenestä kolmen tunnin luennosta ja kahdeksasta kahden tunnin harjoituksesta. Harjoitustehtävät annetaan n. viikkoa ennenharjoitustuntia jossa ne käydään läpi - tarkoitus on että opiskelijat tekevät harjoitustehtävät itsenäisesti ennen niiden käsittelyä. Luennoille tai harjoituksiin ei ole osallistumispakkoa, mutta useimmille kurssin suorittaminen edellyttää aktiivista osallistumista.

Kurssi suoritetaan loppukokeella, joka on viimeisellä luennolla. Loppukokeen tehtävät ovat samankaltaisia kuin harjoitustehtävät.

Loppukokeessa on 4-5 tehtävää, joiden pistemäärästä on saatava n. puolet kurssin läpäisemiseksi arvosanalla 1.

Oheismateriaalina voi käyttää teorta Rantala, Veikko & Virtanen, Ari 2003. Logiikan peruskurssi (vain verkossa osoitteessa http://www.sis.uta.fi/matematiikka/modaalilogiikka/logpk2003.pdf)

Luennot 30 t ja harjoitukset 16 t ja suoritus loppukuulustelulla.