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!