Oblig 8 IN1150

Dokumentet er låst for å sikre integriteten til de pågående studieprosessene.

Medlemskap gir deg tilgang til en omfattende samling av dokumenter.

Emne

IN1150 Logiske metoder

Type

Oblig

Karakter

Godkjent

Nedlastinger

Ord

Sider

Opplastet

21. august 2022

Nyttig?

Du må være registrert og logget inn for å stemme.

Det anbefales sterkt å kun bruke dokumentene som en supplementær kilde til hjelp. Det er viktig å huske at den virkelige læringen kommer fra å gjøre oppgavene selv, og at kopiering kan føre til alvorlige konsekvenser i form av plagiat. Derfor bør man alltid sørge for å forstå og anvende kunnskapen på egen hånd, i stedet for å avhenge utelukkende av dokumentene.

Utdrag

Oblig 8 i IN1150

Espen Noreng

31. mars 2022

Oppgave 1

(a)Sann

(b)Sann

(c)Usann

(d)Sann

(e)Usann

(f)Sann

Oppgave 2

(a)Oppfyllbar, gyldig

(b)Oppfyllbar, gyldig

(c)Falsifiserbar, kontradiktorisk

(d)Oppfyllbar, gyldig

Oppgave 3

Q =⟨1, 1⟩,⟨2, 2⟩,⟨3, 3⟩,⟨1, 2⟩,⟨2, 3⟩,⟨3, 2⟩

P =⟨1, 2⟩,⟨2, 3⟩,⟨3, 2⟩

Oppgave 4

LaMvære en modell med domene D, og anta atM|=∀x(Rxa∧Rax). Det

er tilstrekkelig å vise atM|=∃yRyb

Oppgave 5

(a)Logisk konsekvens

(b)Ikke

(c)Logisk konsekvens

(d)Logisk konsekvens

Oppgave 6

(a)Logisk konsekvens

(b)Ikke

(c)Ikke

(d)Logisk konsekvens

Oppgave 7

(a)R

={⟨1, 1⟩}

(b)R

={⟨1, 2⟩}

(c)R

={⟨1, 1⟩,⟨2, 2⟩,⟨3, 3⟩}

(d)R

={⟨1, 2⟩,⟨3, 2⟩,⟨2, 3⟩}

Oppgave 8

(a)∀x∀y∃((Fxb∨Py)−→Kaz)