Oblig 3 IN1150

Dokumentet er låst pga pågående studieprosesser.

Medlemskap gir deg full tilgang til en omfattende samling av dokumenter.

Emne

IN1150 Logiske metoder

Type

Oblig

Karakter

Godkjent

Nedlastinger

Ord

592

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 3 i IN1150

16. februar 2022

Oppgave 1

(a)Usann. Tallet 57 er et oddetall, større enn 55 og ikke et primtall.

(b)Sann. En kontradiskjon er per definisjon usann for alle valuasjoner,

derfor må negasjonen til en kontradiksjon være sann for alle valua-

sjoner, som vil si at den er gyldig.

(c)Usann.(A−→A)er et eksempel på en tautologi som har et et konnek-

tiv.

(d)Usann. F og¬Fer oppfyllbare, som per definisjon betyr at det finnes

en valuasjon som gjør formelene sann. Definisjonen til en kontradik-

sjon er at det ikke finnes noen valuasjoner som gjør formelen sann.

Derfor er påstanen usann.

Oppgave 2

b⇒afordi alle valuasjonene som gjør b sann, også er sanne i a.

c⇒afordi alle valuasjonene som gjør c sann, også er sanne i a..

d⇒afordi alle valuasjonene som gjør d sann, også er sanne i a.

c⇒bfordi alle valuasjonene som gjør c sann, også er sanne i b.

d⇒bfordi alle valuasjonene som gjør d sann, også oer sanne i b.

c⇔dfordi de betyr det samme. Dermed er alle valuasjoene som

...

Tilsvarende dokumenter

Oblig 5 IN1150