Fórum da comunidade

Qual regra de inferência permite concluir \(\neg P\) a partir de \(P \to A\) e \(\neg A\)?

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