Utsagnslogikk: sannhetstabeller, tautologi, motsigelse, ekvivalensNormalformer: konjunktiv (CNF) og disjunktiv (DNF) normalformLogiske konsekvenser og gyldige slutningerBevismetoder: direkte, kontrapositiv, motsigelse, element-argumentPredikatlogikk: kvantorer, kvantor-negasjon, oversettelse til/fra naturlig språk
Laster...
Om denne oppgaven: Dette er en øvingsoppgave med løsningsforslag utarbeidet av Eksamenssett.no for treningsformål. Den er ikke en offisiell eksamen fra NTNU – både oppgavetekst og løsning er vårt eget materiale.