Finnfasit.no
Av Espen Noreng
Alle dokumenterLast oppLogg inn

Oblig 8 IN1150

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⟩

1

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

m

={⟨1, 1⟩}

(b)R

m

={⟨1, 2⟩}

(c)R

m

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

(d)R

m

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

Oppgave 8

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

2

Dette er bare et maskingenerert utdrag. Den nedlastede utgaven inneholder flere ord og har en annen formatering.
Tilbakemeldinger

Ingen tilbakemedlinger enda


  • Brukers navn vises ikke, fordi vi ønsker at alle våre brukere skal være anonyme.
  • Du kan skrive tilbakemelding når du har lastet ned dokumentet.
  • Kontakt oss hvis du ønsker å endre, eller slette en kommentar.
Dokumentinformasjon
Emne
Logiske metoder
IN1150
Karakter
Ingen karakter
Type
Oblig
Antall sider
2 sider
Antall ord
103 ord
Gjennomsnittlig rating
Av 0 ratinger
Nedlastinger
0 nedlastinger
Verifisert av finnfasit
Nei
Opprettet
May 21, 2022
Lignende dokumenter