A negação da frase “O Sol é uma estrela e a Lua é um satélite” de acordo com a equivalência lógica proposicional, é dada por:
