Fórum da comunidade

Quais regras inferenciais permitem inferir ¬Q a partir de (Q→R) e ¬R, e 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.