Uma proposição equivalente de “Se está quente, então é verão” é:
Se não é verão, então não está quente.
Está quente e é verão.
Está quente ou é verão.
Está quente se e somente se é verão.
Se não está quente, então não é verão.