Sejam ∼, ∨, → e ↔ os símbolos, respectivamente, dos seguintes conectivos lógicas: 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 ∨ q que
