Considere
como a proposição "
visitou Dakota do Norte", em que o domínio são os estudantes de sua escola. Expresse cada uma dessas quantificações em português.
Passo 1
O enunciado define a propriedade
como “
visitou Dakota do Norte” e o domínio de
são os estudantes da sua escola. A fórmula a traduzir é
Passo 2
Pela lei de De Morgan para quantificadores, a negação do existencial transforma-se num universal negado:
Isto significa que “para todo estudante
, não é verdade que
tenha visitado Dakota do Norte”.
Passo 3
Agora colocamos isso em português claro:
“Não existe nenhum estudante que tenha visitado Dakota do Norte.”
“Não existe nenhum estudante que tenha visitado Dakota do Norte.”
Resposta
Não existe nenhum estudante que tenha visitado Dakota do Norte.