Negação dos quantificadores lógicos

A negação de um quantificador universal é um existencial e a negação de um existencial é um universal.

A negação de um universal é feita pela menor possibilidade dele não ser verdadeiro. Assim, a negação de ‘Todo’ não é ‘Nenhum’!! A negação de ‘Todo’ é ‘Pelo menos um’ ou ‘Existe algum’ e por aí vai.

A:Todo animal tem 4 patas.

~A: Existe um animal que não tem 4 patas // Nem todo animal tem 4 patas // Pelo menos um animal não tem 4 patas


B: Tudo que é verde é um vegetal

~B: Nem tudo que é verde é um vegetal // Existem coisas verdes que não são vegetais // Pelo menos uma coisa verde não é vegetal


C: Alguma pessoa tem dois braços

~C: Nenhuma pessoa tem dois braços // Não existem pessoas com dois braços // Todas as pessoas não tem dois braços


Continuar para: Equivalências