$\{ P \land Q \} \models P$ fordi alle valuasjoner som gjør formelen $(P \land Q)$ må gjøre formelen $P$ sann.

Det stemmer ikke at $Q$ er en logisk konsekvens av ${P \lor Q}$, for det finnes valuasjoner som gjør $(P \lor Q)$ sann uten å gjøre $Q$ sann, nemlig alle valuasjoner som gjør $P$ sann og $Q$ usann.

$\{ P, P \rightarrow Q \} \models (Q \lor R)$ fordi alle valuasjoner som gjør både $P$ og $(P \rightarrow Q)$ sanne samtidig, også må gjøre $Q$ sann. Videre må alle valuasjoner som gjør $Q$ sann gjøre formelen $(Q \lor R)$ sann.

$R$ er en logisk konsekvens av mengden som består av formlene $(P \land Q)$ og $(\ikke Q \lor R)$, fordi: 1. Alle valuasjoner som gjør $(P \land Q)$ og $(\ikke Q \lor R)$ sanne samtidig, må gjøre $P$ og $Q$ sanne. 2. Siden disse valuasjonene gjør $Q$ sann må de gjøre $\ikke Q$ usann. 3. Siden disse valuasjonene gjør $\ikke Q$ usann og $(\ikke Q \lor R)$ sann må de gjøre $R$ sann.