Fórum da comunidade

Qual é a regra que, a partir de \(P\rightarrow Q\) e \(\neg Q\), permite concluir \(\neg P\), e qual é a negação de uma afirmativa universal "todo x: P(x)"?

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