Sejam ~, V, → e ←→ os símbolos, respectivamente, dos seguintes conectivos lógicos: negação, disjunção, condicional e bicondicional. Considere as proposições p, q e r a seguir:
p: A Terra é um planeta.
q: O Sol não é uma estrela.
r: A Lua é uma estrela.
Pode-se afirmar sobre o valor lógico da proposição composta S: p→ ~r ←→ p V q que