Utsagnslogikk og bevismetoder

Første innleveringsoppgave er unnagjort, og vi er klare for en ny uke. På tirsdag gjør vi oss ferdige med introduksjonen til utsagnslogikk: Vi snakker om logisk ekvivalens, logisk konsekvens og de fire begrepene oppfyllbarhet, falsifiserbarhet, gyldighet og kontradiksjon. Med andre ord resten av kapittel 3 og kapittel 4. På torsdag snakker vi om bevismetoder, formodninger og moteksempler, som er kapittel 5. I gruppetimene vil temaet være utsagnslogikk, representasjon og sannhetsverditabeller. Vel møtt!