Sabe-se que uma proposição Universal Afirmativa
corresponde a “Todo X é Y”, ou seja, afirma que o
conjunto “X” está contido em “Y”, que todo e
qualquer elemento de “X” é também elemento de
“Y”. Sabe-se, ainda, que uma proposição
Particular Negativa corresponde a “Algum X não é
Y”, ou seja, afirma que o conjunto “X” tem pelo
menos um elemento que não pertence ao
conjunto “Y”. Então, se não é verdade que “todos
os paranaenses torcem no futebol para o
Corinthians”, é correto concluir que