Fórum da comunidade

Qual regra de inferência permite concluir ¬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.