Fórum da comunidade

Qual regra inferencial permite concluir \(\neg p\) a partir de \(p \rightarrow q\) e \(\neg q\)?

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