FRA BEGREP TIL BEVIS
Velg læringssti
01 / FUNDAMENTETPrøv nå
Grunnbegreper,
symboler og metoder
Lær språket vi bruker til å undersøke argumenter.
15 korte øvelser Begynn ↗02 / SAMMENHENGENEPrøv nå
Setningslogikk
Utforsk bindeord, sannhetsverdier og logisk gyldighet.
15 øvelser · Formelverksted ↗03 / BEVISENEPrøv nå
Naturlig deduksjon
Bygg bevis steg for steg med presise slutningsregler.
15 øvelser · Bevisverksted ↗04 / FORDYPNINGENPrøv nå
Predikatlogikk
og semantikk
Undersøk egenskaper, relasjoner og fortolkninger.
15 øvelser · Modellverksted ↗