HFIÅ00481U ÅU FILO Logik 2: Formel logik

Faglige mål, den studerende kan:

• redegøre for syntaks og semantik for udsagns- og den fulde førsteordenslogik
• redegøre for afgørbarhedsprocedure for gyldighed med særlig opmærksomhed for sandhedstabeller og semantiske tableaux
• gennemføre identifikation af logisk form samt formalisering af udsagn og argumenter i udsagns- og den fulde førsteordenslogik
• analysere gyldighed for argumenter formuleret i udsagns- og den fulde førsteordenslogik
• anvende bibliografiske søgeredskaber og andre relevante redskaber til at analysere, beskrive og diskutere en problemstilling
• anvende en flerfaglig tilgang til emneområdet, idet den studerendes faglighed fra kernefaget bringes i spil.