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: