Supondo que P, Q e R são sentenças proposicionais simples presentes na fórmula (P ∧ ¬ Q → ¬ R) e que representam:
P = Dois é par.
Q = Três é par.
R = Seis é par.
A sentença que representa a fórmula em linguagem natural e seu respectivo valor-lógico está na alternativa:
