A negação da frase “O Sol é uma estrela e a Lua é um satélite” de acordo com ...

Gabarito: e)
A frase original é uma conjunção: 'O Sol é uma estrela e a Lua é um satélite'. Em lógica proposicional, isso pode ser representado como p e q, onde p = 'O Sol é uma estrela' e q = 'A Lua é um satélite'.
A negação de uma conjunção (p e q) é dada pela equivalência lógica ¬(p e q) = ¬p ou ¬q, ou seja, a negação é uma disjunção das negações dos termos.
Portanto, a negação correta é: 'O Sol não é uma estrela ou a Lua não é um satélite'.
Essa regra é conhecida como a Lei de De Morgan, que é fundamental para a manipulação de proposições lógicas.
A alternativa e) corresponde exatamente a essa negação, confirmando que é a resposta correta.
Fazendo uma checagem dupla, nenhuma outra alternativa apresenta a negação correta da conjunção, pois as outras ou usam 'e' em vez de 'ou' ou negam apenas um dos termos, o que não corresponde à negação da conjunção original.

Gabarito: e) A frase original é uma conjunção: 'O Sol é uma estrela e a Lua é um satélite'. Na lógica proposicional, a negação de uma conjunção é dada pela negação de cada parte, mas unidas por uma disjunção. Ou seja, a negação de 'P e Q' é 'não P ou não Q'.

Aqui, P é 'O Sol é uma estrela' e Q é 'A Lua é um satélite'. Portanto, a negação correta é 'O Sol não é uma estrela ou a Lua não é um satélite'.

As outras alternativas não seguem essa regra lógica. Por exemplo, a alternativa a) apresenta a negação de cada proposição, mas unidas por uma conjunção, o que não corresponde à negação da frase original.

Fazendo uma checagem dupla, confirmamos que a negação correta de uma conjunção é sempre uma disjunção das negações, o que confirma que a alternativa e) é a correta.