«Jeg er glad hvis det pizza til middag» representeres med formelen $(P \rightarrow G)$. Her må vi passe på hva som er hvis-delen og hva som er så-delen i utsagnet. Utsagnet kan skrives om til «Hvis det er pizza til middag, så er jeg glad», og det kan gjøre det lettere å se hva som er hvis-delen og hva som er så-delen.

På samme måte representeres «Jeg er ikke glad hvis det ikke er pizza til middag» med formelen $(\neg P \rightarrow \neg G)$.

Dermed representeres «Jeg er glad hvis det pizza til middag, og jeg ikke er glad hvis det ikke pizza til middag» med formelen $((P \rightarrow G) \land (\neg P \rightarrow \neg G))$.

Formelen $(\neg (P \lor T) \rightarrow G)$ kan leses som «Hvis hverken $P$ eller $T$, så $G$». I formlelen $\neg (P \lor T)$ står det et negasjons-tegn foran en eller-formel. Denne formelen representerer utsagnet «Det er hverken pizza eller taco til middag». Dette er fordi $\neg (P \lor T)$ representerer negasjonen til at «Det er pizza eller taco til middag.» Hvis det ikke er sant at det er pizza eller taco til middag, er det jo hverken pizza eller taco til middag.