Fórum da comunidade

Qual regra inferencial permite concluir ¬A a partir de A → B e ¬B?

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