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: