Imagem de fundo

Considerando um sistema composto de planetas F, G e H...

Considerando um sistema composto de planetas F, G e H (podendo haver mais de um planeta F, G e H), a negação da frase:

Para todo planeta F, tem-se que F é maior que G. Todos os planetas H não são habitáveis ou existe pelo menos um planeta H maior que os planetas F; é dada por:


A
Para qualquer planeta F, tem-se que F é menor que G. Qualquer planeta H é habitável ou todos os planetas H são maiores que os planetas F.

B
Existe pelo menos um planeta F, tal que F é maior que G. Algum planeta H não é habitável e todo planeta H é menor que os planetas F.

C
Existem planetas F, com F maior que G. Todos os planetas H são habitáveis e todos os planetas H são maiores que os planetas F.

D
Para qualquer planeta F, temos que F é menor que G. Todos os planetas H são habitáveis e não existem planetas H maiores que os planetas F.

E
Existe pelo menos um planeta F, tal que F não é maior que G. Existe um planeta H que é habitável e nenhum planeta H é maior que os planetas F.