<!DOCTYPE html>
<html lang="pt-BR">
<head>
  <meta charset="UTF-8">
  <style>
    body {
      font-size: 16px;
      line-height: 1.5;
    }
    .blue {
      color: blue;
    }
    math {
      font-size: 16px;
    }
  </style>
</head>
<body>
  <p style="margin-bottom: 1.5em;">Para resolver o problema apresentado, precisamos analisar as declarações dos alunos e entender como a lógica proposicional se aplica a cada uma delas. De acordo com o enunciado, um dos alunos está mentindo e, portanto, esse aluno é o portador da "cola". Vamos anotar as declarações e a lógica por trás de cada uma delas.</p>

  <ul>
    <li>Hélio: "A 'cola' estava com o Davi ou com o Fernando ou com o Gabriel."</li>
    <li>Gabriel: "Se o Edmundo estava com a 'cola', então o Fernando não é o culpado."</li>
    <li>Edmundo: "A 'cola' estava com o Gabriel ou com o Hélio."</li>
  </ul>

  <p style="margin-bottom: 1.5em;">Vamos analisar cada afirmação sob a suposição de que cada aluno, um de cada vez, é o que estaria com a "cola". Se o aluno está com a "cola", sua afirmação deve ser falsa, enquanto as dos outros alunos devem ser verdadeiras.</p>

  <h3>Análise com diversas hipóteses</h3>
  
  <h4>1. Supondo que Davi está com a 'cola':</h4>
  <p style="margin-bottom: 1.5em;">Se Davi está com a 'cola', a afirmação de Hélio ("A 'cola' estava com o Davi ou com o Fernando ou com o Gabriel") seria verdadeira, pois Davi está incluído. Portanto, essa suposição é inconsistente, pois se Davi está mentindo, Hélio deve estar dizendo a verdade.</p>

  <h4>2. Supondo que Edmundo está com a 'cola':</h4>
  <p style="margin-bottom: 1.5em;">Se Edmundo está com a 'cola', a afirmação de Gabriel ("Se o Edmundo estava com a 'cola', então o Fernando não é o culpado") se tornaria uma condição falsa, pois Edmundo estaria mentindo. Portanto, isso também é uma contradição, pois Gabriel deve estar falando a verdade.</p>

  <h4>3. Supondo que Fernando está com a 'cola':</h4>
  <p style="margin-bottom: 1.5em;">Se Fernando está com a 'cola', a afirmação de Hélio ("A 'cola' estava com o Davi ou com o Fernando ou com o Gabriel") seria verdadeira (já que Fernando é o culpado). Novamente, temos uma contradição, pois quem está com a 'cola' deve mentir. Portanto, essa suposição não é válida.</p>

  <h4>4. Supondo que Hélio está com a 'cola':</h4>
  <p style="margin-bottom: 1.5em;">Se Hélio está com a 'cola', a afirmação dele seria falsa, significando que a 'cola' não estava com Davi, Fernando ou Gabriel. Assim, a única possibilidade restaria para Edmundo. Como Edmundo faz uma afirmação que ainda pode ser verdadeira ("A 'cola' estava com o Gabriel ou com o Hélio"), isso indica que Hélio não pode aplicar a mentira na sua afirmação, posto que ele mesma é a base da contradição.</p>

  <h3>Verificando as consistências:</h3>
  <p style="margin-bottom: 1.5em;">Vamos comparar as afirmações de Hélio e Gabriel se Hélio for o portador da 'cola':</p>
  <ul>
    <li>Hélio (mentindo): "A 'cola' estava com o Davi ou com o Fernando ou com o Gabriel" - Portanto, a 'cola' está com Hélio.</li>
    <li>Gabriel (verdade): "Se o Edmundo estava com a 'cola', então o Fernando não é o culpado." - Verdadeiro, pois não sabemos que Edmundo tem a 'cola'.</li>
    <li>Edmundo (verdade): "A 'cola' estava com o Gabriel ou com o Hélio." - Isso é consistente porque efetivamente Hélio possui a 'cola' e, portanto, faz a declaração verdadeira.</li>
  </ul>

  <p style="margin-bottom: 1.5em;">Essas evidências levam-nos a concluir que a única maneira de a verdade permanecer intacta nas falas dos outros alunos é se Hélio for o portador da 'cola'. Logo, ele é o que mente, e as demais afirmações se validam entre os alunos.</p>

  <p><strong style="color: blue;">Portanto, a alternativa correta é D.</strong></p>
</body>
</html>


Questões de Raciocínio Lógico - Assistente Social