Funksjonen teller antall negasjonskonnektiver i formelen.
$f\bigg( \neg \Big( (\text{P} \land \neg \text{Q}) \rightarrow (\neg \text{R} \lor \text{S}) \Big) \bigg)$
$= f\bigg( \Big( (\text{P} \land \neg \text{Q}) \rightarrow (\neg \text{R} \lor \text{S}) \Big) \bigg) + 1$
$= f\Big( (\text{P} \land \neg \text{Q}) \Big) + f\Big( (\neg \text{R} \lor \text{S}) \Big) + 1$
$= f\big( \text{P}) + f(\neg \text{Q} \big) + f\big( \neg \text{R} \big) + f\big( \text{S} \big) + 1$
$= 0 + f\big( \text{Q} \big) + 1 + f\big( \text{R} \big) + 1 + 0 + 1$
$= 0 + 0 + 1 + 0 + 1 + 0 + 1$
$= 3$
Kan du endre definisjonen av $f$ så den teller antall utsagnsvariabler i formelen? Hva med en rekursiv funksjon fra utsagnslogiske formler til naturlige tall som teller antall symboler i formelen totalt, altså antall utsagnsvariabler, konnektiver og parenteser (oppgave 10.7)?