Finnfasit.no
Av Espen Noreng
Alle dokumenterLast oppLogg inn

Oblig 3 IN1150

Utdrag

Oblig 3 i IN1150

Espen Noreng

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 er

sanne for c, også sanne for d. De har samme sannhetsverdi.

1

Oppgave 3

- Dette er ikke et gyldig argument.

- Hvis både ii og i er sann, finnes det fortsatt en valuasjon som gjør iii

usann. Nemlig

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
4 sider
Antall ord
685 ord
Gjennomsnittlig rating
Av 0 ratinger
Nedlastinger
0 nedlastinger
Verifisert av finnfasit
Nei
Opprettet
March 8, 2022
Lignende dokumenter