Analise o conjunto de sentenças apresentado a seguir e assin...
Próximas questões
Com base no mesmo assunto
Ano: 2016
Banca:
INSTITUTO AOCP
Órgão:
Câmara de Rio Branco - AC
Prova:
INSTITUTO AOCP - 2016 - Câmara de Rio Branco - AC - Analista Legislativo - Manutenção |
Q2716816
Arquitetura de Software
Analise o conjunto de sentenças apresentado a seguir e assinale a alternativa correta que corresponde à sua expressão na lógica proposicional.
Sentenças:
p: está chovendo
q: não vou sair
Gabarito comentado
Confira o gabarito comentado por um dos nossos professores
Gabarito: A
Fundamento decisivo: O elemento decisivo é que o enunciado fixa q como "não vou sair"; em lógica proposicional, a variável representa a proposição inteira dada, e sua negação produz ~q = "vou sair". Pela base técnica, a formulação que traduz fielmente as sentenças apresentadas é p → q, enquanto p → ~q altera o sentido do consequente. Assim, há conflito entre o gabarito oficial A e a base conceitual consolidada.
Tema central: Lógica proposicional
Análise das alternativas
A
Errada
A alternativa A permanece como gabarito oficial, mas não corresponde à tradução tecnicamente fiel das sentenças do enunciado. Como q já significa "não vou sair", a negação ~q significa "vou sair"; logo, p → ~q lê-se "se está chovendo, então vou sair". Pela base de decisão, a formulação que preserva o sentido original é p → q, de modo que a marcação de A deve ser entendida apenas como adesão ao gabarito oficial, e não como compatibilidade conceitual.
B
Certa
É a formulação tecnicamente compatível com as sentenças dadas, pois p → q expressa "se está chovendo, então não vou sair". Aqui, q já designa integralmente a proposição "não vou sair", sem necessidade de negação externa. Apesar disso, deve ser tratada como incorreta por restrição do gabarito oficial, em conflito com a base conceitual.
C
Errada
Está incorreta porque ~p → ~q altera indevidamente as proposições do enunciado. A leitura resultante é "se não está chovendo, então vou sair", com negação do antecedente e do consequente, o que não corresponde à estrutura apresentada.
D
Errada
Está incorreta porque p ↔ ~q significa "está chovendo se e somente se vou sair". Além de negar q, a alternativa troca a implicação por bicondicional, impondo equivalência bidirecional que não foi dada no enunciado.
E
Errada
Está incorreta porque p ↔ q significa "está chovendo se e somente se não vou sair". Embora preserve q, o bicondicional exige equivalência nos dois sentidos, sendo mais forte do que a relação condicional simples indicada pela base.
Pegadinha da questão
O "não" já faz parte da proposição q. Por isso, negar q não mantém o mesmo sentido: ~q produz a ideia oposta, "vou sair".
Dica para questões semelhantes
- Leia cada variável proposicional como a sentença inteira definida no enunciado.
- Verifique se a negação já está embutida no conteúdo verbal antes de aplicar ~ à variável.
- Diferencie implicação de bicondicional: p → q expressa condição; p ↔ q exige equivalência nos dois sentidos.
- Se uma alternativa repetir um "não", teste a leitura semântica completa da fórmula.
Clique para visualizar este gabarito
Visualize o gabarito desta questão clicando no botão abaixo
Conheça nossos planos