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

3

Ord

56

Sider

2

Opplastet

21. august 2022

Nyttig?

0

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)

2

...

Tilsvarende dokumenter

Oblig 5 IN1150

IN1150 Logiske metoder - 21. august 2022

Oblig 6 IN1150

IN1150 Logiske metoder - 21. august 2022

Oblig 7 IN1150

IN1150 Logiske metoder - 21. august 2022

Oblig 11 IN1150

IN1150 Logiske metoder - 21. august 2022

Oblig 2 IN1150

IN1150 Logiske metoder - 21. august 2022

Oblig 12 IN1150

IN1150 Logiske metoder - 21. august 2022

Oblig 3 IN1150

IN1150 Logiske metoder - 21. august 2022

Oblig 1 IN1150

IN1150 Logiske metoder - 21. august 2022