Vi jobber oss «innenfra og ut» og finner først sannhetsverdien til $(P \land Q)$. Når $P$ er sann og $Q$ er usann, er $(P \land Q)$ usann, for det er slik vi tolker $\land$-formler etter tabellen i definisjonen. Når $(P \land Q)$ er usann er $\neg (P \land Q)$ sann, for det er slik $\neg$-formler tolkes (husk at $F$ og $G$ i tabellene over er plassholdere for utsagnslogiske formler som for eksempel $(P \land Q)$). Når $\neg (P \land Q)$ er sann og $R$ er sann er $(\neg (P \land Q) \rightarrow R)$ sann, for det er slik $\rightarrow$-formler tolkes.