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