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:

Gabarito

Errado

Comentário do professor

Considere \(p\): O Sol é uma estrela e \(q\): A Lua é um satélite. A frase dada é a conjunção \(p \land q\), que exige que ambas as proposições sejam verdadeiras.

Para obter a negação aplicamos a Lei de Morgan: a negação de uma conjunção é a disjunção das negações. Em símbolos, \(\lnot(p \land q)\equiv \lnot p \lor \lnot q\).

Aqui \(\lnot p\) é O Sol não é uma estrela e \(\lnot q\) é A Lua não é um satélite. A negação afirma que pelo menos uma das partes é falsa.

Assim a forma correta da negação é: (O Sol não é uma estrela) ou (A Lua não é um satélite).