Fórum da comunidade

Como nega-se formalmente uma sentença universal da forma "Todo x: P(x) → (Q(x) ∨ R(x))"?

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