Sejam os símbolos !$ \sim, V, \rightarrow !$ e !$ \leftrightarrow !$, 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 \rightarrow \sim r \leftrightarrow p\,V\,q !$
