Formallogikk: utvalgte emner i klassisk setnings- og predikatlogikk

Om boken

Formallogikk studerer setningers og resonnementers logiske form, blant annet for å avdekke logiske egenskaper som at konklusjonen i et resonnement følger med nødvendighet fra premissene. Formallogikk brukes direkte i filosofi, matematikk, informatikk og lingvistikk, men ferdigheter i formallogikk vil også bidra til stringent resonnering i rettsvitenskap og andre fag hvor argumentasjon står sentralt. Denne boken gir en første introduksjon til setnings- og predikatlogikk, men fremstillingen går...Vis mer