Siden valuasjonen gjør $P$ usann og $Q$ sann, må den gjøre $(P \lor Q)$ sann, for det er slik $\lor$-formler tolkes. Videre må den gjøre $\neg (P \lor Q)$ usann, for det er slik $\neg$-formler tolkes.
Definisjon: Valuasjon
Test deg selv
Anta at vi har en valuasjon som gjør $P$ sann og $Q$ usann. Hvilken sannhetsverdi tilordner denne valuasjonen til formelen $\neg(P \lor Q)$?
Test deg selv
Anta at vi har en valuasjon som gjør $R$ sann og $(R \rightarrow S)$ sann. Hvilken sannhetsverdi gir denne valuasjonen til utsagnsvariabelen $S$?
Når tabellen for tolkning av $\rightarrow$-formler skal overholdes er det kun én mulig tilordning av sannhetsverdi til utsagnsvariabelen $S$. Kun når $S$ er sann kan også $R$ og $(R \rightarrow S)$ være sanne.
Test deg selv
Vil en tilordning av sannhetsverdier til utsagnslogiske formler slik at $(P \land Q)$ er sann og $(P \lor Q)$ er usann være en valuasjon?
For at $(P \land Q)$ skal være sann må både $P$ og $Q$ være sanne etter $\land$-tabellen i definisjon 3.2. Når både $P$ og $Q$ er sanne kan ikke $(P \lor Q)$ være usann etter $\lor$-tabellen i definisjon 3.2. Denne tilordningen av sannhetsverdier til utsagnslogiske formler overholder altså ikke tabellene i definisjon 3.2, og er dermed ikke en valuasjon.