(ESAF-1997) – Dizer que é verdade que “para todo x, se x é uma rã e x é verde, então x está saltando” é logicamente equivalente a dizer que não é verdade que: a.
Algumas rãs que não são verdes estão saltando. b.
Algumas rãs verdes estão saltando. c.
Nenhuma rã verde não está saltando. d.
Existe uma rã verde que não está saltando. e.
Algo que não seja uma rã verde está saltando.