Uma negação lógica para a proposição a Terra é redonda se e somente se o céu não...

Questão de Raciocínio Lógico da banca VUNESP aplicada no concurso DCTA SP (2013). Confira a resolução completa abaixo:

Uma negação lógica para a proposição a Terra é redonda se e somente se o céu não é azul pode ser dada por