Fórum da comunidade

Por que as formas p→q, p ⊨ q e p→q, ¬q ⊨ ¬p são válidas na lógica proposicional?

Leia as dúvidas, dicas e respostas da comunidade. Para escrever ou responder, entre na sua conta.