Nå er du snart en logiker

Vi har begynt på førsteordens logikk, hvordan formlene ser ut og hva de representerer. Den kommende uken ser vi på hvordan vi gir formlene betydning og sannhetsverdi. Med stålkontroll på førsteordens logikk kan du kalle deg selv en logiker!

Oblig

Vi minner om at den obligatoriske innleveringen er lagt ut på innleveringssiden. Det er viktig å starte tidlig.

Logikkafé

Vi vet at mange har midtveiseksamen i IN1010, og at dette nok kommer foran mye annet. Likevel er vi på Escape som vanlig i morgen kl. 12, hvor det er rom for å hygge seg og slappe av, snakke om pensum, og ta en kopp kaffe eller te med senkede skuldre. Dette kan også være en fin oppladning til eksamen.

Ukens nøtt

Se litt på denne setningen: «Det finnes en person slik at hvis denne personen er veganer så er alle veganere.» Hvis V representerer at en person er veganer, så kan setningen representeres med formelen ∃x(Vx → ∀yVy). Er den sann, og i så fall når er den sann?

Vi sees i forelesninger og gruppetimer den kommende uken. Vi ønsker deg også lykke til med midtveiseksamen!

--

Med vennlig hilsen oss som underviser IN1150