Qual é a negação de "Todo S é P"?

Resposta

A negação é "Existe pelo menos um S que não é P".

Partindo de "Todo" como quantificador universal, a negação obedece ¬(∀x P(x)) ≡ ∃x ¬P(x), ou seja, existe pelo menos um exemplar que não possui a propriedade indicada.