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