Vår 2026

MIK-1008 Logikk og argumentasjon - 2.5 stp

Ansvarlig enhet

Institutt for matematikk og statistikk

Emnetype

Emnet kan tas som enkeltemne.

Innhold

Dette emnet gir en introduksjon til grunnleggende symbolsk logikk og mengdeteori, med fokus på å forstå og anvende logikkens språk i både teoretiske og praktiske sammenhenger. Studentene lærer å bruke symbolsk notasjon for å analysere og evaluere argumenter, samtidig som de utvikler evnen til å skille mellom gyldig og ugyldig resonnering i hverdagslige og matematiske situasjoner. Kurset gir også en innføring i mengdelære, en sentral del av matematisk logikk, og utforsker dens anvendelser i strukturert og presis argumentasjon.

Opptakskrav

Generell studiekompetanse eller realkompetanse.

Søknadskode 9199 - enkeltemne lavere grad.

Hva lærer du

Kunnskap:

Kandidaten har kunnskap om:

• definisjon av utsagn, atomære og sammensatte utsagn

• hva nødvendige og tilstrekkelige betingelser er

• semantikk for utsagnslogikk, sannhetsverditabeller

• hva som gjør argumenter gyldige, oppfyllbar og falsifiserbar

• definisjon og konstruksjon av mengder

• operasjonene snitt, union og differanse

Ferdigheter:

Kandidaten kan:

• gjøre om (presist) hverdagsspråk til utsagnslogiske formler og omvendt

• sette opp sannhetsverditabeller for logiske utsagn gitt ved formler

• avgjøre om en utsagnslogisk formel er en tautologi, eventuelt en kontradiksjon.

• bruke teknikker for visualisering av mengder

• løse oppgaver som involverer snitt, union og differanse av mengder

Generell kompetanse:

Kandidaten har:

• en overordnet forståelse av hva som er gyldig argumentasjon, og evne til å bruke

denne

• evne til å avsløre ugyldig argumentasjon innen studier og fag

• evne til å lage sammensatte planer for løsning av problemer av logisk natur

Undervisnings- og eksamensspråk

Norsk

Undervisning

Emnet er asynkront: Siden emnet er bygd opp av ferdiginnspilte videoer, er undervisninga ikke knyttet til spesifikke tidspunkter. Emnet kan dermed tas på hvilket som helst tidspunkt i semestrene. Gis både høst og vår.

Videoforelesninger knyttet til hver fagmodul i kurset. Selvstendig arbeid og arbeidskrav knytet til fagmoduler.

• Videoforelesninger / moduler i canvas: ca 12 timer

• Egenstudium: ca 50 timer