Gabarito disponível
Considere as proposições p: “A terra é um planeta” e q: “A terra gira em torno do sol”. Assinale a opção que corresponde à linguagem simbólica da proposição: “Não é verdade que a terra é um planeta ou que não gira em torno do sol”.
Resolução comentada
A negação de (p ou ~q) é escrita ~(p V ~q).
A frase nega a disjunção inteira: 'Não é verdade que (p ou não q)'. Com p = a Terra é um planeta e ~q = não gira em torno do sol, o resultado é ~(p V ~q).
Análise das alternativas
A) ~p V ~q nega cada parte separadamente. B) p V ~q não tem a negação inicial. D) p ∧ ~q troca o conectivo e omite a negação. E) ~(p ∧ ~q) usa conjunção em vez de disjunção.
Referência: Lógica proposicional — negação de proposições compostas.
Resolução comentada do VaiConcursos.