Kapittel 10 – Rekursivt definerte funksjoner / Utsagnslogiske formler

Definisjon: Valuasjon

Hva syns du om denne videoen?
(Én stjerne er dårligst, tre stjerner er middels og fem stjerner er best.)
(Hvordan kan denne videoen bli bedre?)

Test deg selv

Vi definerer en rekursiv funksjon $f$ fra de utsagnslogiske formlene til naturlige tall slik:

$f(\text{P}) = 0$ for alle utsagnsvariabler $\text{P}$.

$f(\neg \text{F}) = f(\text{F}) + 1$

$f\Big( (\text{F} \land \text{G}) \Big) = f(\text{F}) + f(\text{G})$

$f\Big( (\text{F} ∨ \text{G}) \Big) = f(\text{F}) + f(\text{G})$

$f\Big( (\text{F} → \text{G)} \Big) = f(\text{F}) + f(\text{G})$

Ser du hva funksjonen gjør?

Hva blir $f\bigg( \neg \Big( (\text{P} \land \neg \text{Q}) \rightarrow (\neg \text{R} \lor \text{S}) \Big) \bigg)$?