Considere a afirmação:

Ontem trovejou e não choveu.

Uma afirmação que corresponde à negação lógica desta afirmação é