HUMIT1750MN H?st 2006

Oppgaver til uke 39

Oppgave 5 side 393.  Oppgaven blir enklere hvis du ser bort fra D og H. (De nevnes ikke i de nummererte betingelsene, og blir heller ikke valgt.)  Formuler betingelsene i utsagnslogikk med 6 utsagnsvariabler.  (A betyr "A ble valgt", etc.)  Skriv en formel for hver av de nummererte betingelsene, og noen ekstra for det som st?r i teksten f?rst.  Skriv dem inn i denne aplikasjonen og be om DNF.  (Pass dog p? at du ikke bruker utsagnsvariabelen F, siden "Gateway" oppfatter dette som  false.)

Bevis (-A -> false) -> A i ND1750, og forklar hvordan dette (sammen med regelen CP og litt til) kan brukes til ? "simulere" regelen IP for indirekte bevis, som egentlig ikke finnes i ND1750.

S? langt du/dere kommer:  Resten av oppgave 5 side 382, pluss oppgave 10 side 383.