Fórum da comunidade

Qual regra 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.

Seja o primeiro a compartilhar uma dúvida ou dica sobre este conteúdo.