Fórum da comunidade

Qual regra lógica permite inferir \(\neg A\) a partir de \(A \rightarrow B\) e \(\neg B\)?

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