Sejam ~, ∨, ∧ e ↔ os símbolos, respectivamente, dos seguintes conectivos lógicos: negação, disjunção, conjunção e bicondicional. Considere as proposições p e q a seguir:
p: O Brasil é o maior país da América do Sul;
q: A França é um país asiático.
Pode-se afirmar sobre o valor lógico da proposição composta R: ~(p ∧ q) ∨ ~ (q ↔ p) que:
