A proposição composta equivalente a “se dois mais dois é igual a quatro, então sete vezes três é igual a vinte e um” está corretamente descrita em qual das alternativas abaixo?

Dois mais dois não é igual a quatro ou sete vezes três é igual a vinte e um.

Dois mais dois é igual a quatro e sete vezes três não é igual a vinte e um.

Se sete vezes três é igual a quatro, então dois mais dois é igual a vinte e um.

Dois mais dois é igual a quatro se, e somente se, sete vezes três não é igual a vinte e um.

Dois mais dois é igual a quatro, mas sete vezes três não é igual a vinte e um.