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.