Acerca de estruturas lógicas, julgue o item.

A negação de “Alex troca de carro se, e somente se, ele não tiver que pagar plano de saúde” é “Alex não troca de carro e não tem que pagar plano de saúde ou Alex troca de carro e tem que pagar plano de saúde”.