Fórum da comunidade

Com \(p\rightarrow q\) e \(\neg q\), que inferência lógica permite concluir \(\neg p\) e como se interpreta a negação de "todos" em termos de quantificadores?

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