HFIB10231U FILO Logik 2: Formel logik

Kurset har til hensigt at give den studerende viden om:

- Syntaks og semantik for udsagnslogik og den fulde førsteordenslogik.

- Afgørbarhedsprocedurer for gyldighed med særlig opmærksomhed på sandhedstabeller og semantiske tableaux.

- Et indblik i bevisteori i udsagnslogik.

Kurset ligger naturligt i forlængelse af LOGIK 1 kurset, men kan gennemføres uden at have gennemført dette kursus.

Kurset giver den studerende færdigheder i:

- At gennemføre en identifikation af logisk form samt formalisering af udsagn og argumenter i udsagnslogik og den fulde førsteordenslogik.

- At analysere gyldighed for argumenter formuleret i udsagnslogik og den fulde førsteordenslogik.

- At anvende bibliografiske søgeredskaber og andre relevante redskaber til at analysere, beskrive og diskutere en problemstilling.

- At anvende en flerfaglig tilgang til emneområdet, idet den studerendes faglighed fra kernefaget bringes i spil.