Fórum da comunidade

Que regra lógica permite inferir ¬P a partir de 'P → ¬Q' e 'Q'?

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