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: