<!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>
 Neste exercício de lógica proposicional, analisaremos duas proposições baseadas nas informações fornecidas: "Gilda não está grávida" e "Marcondes sabe lógica". Sendo que temos a seguinte definição para as proposições:

 <ul>
 <li>p: "Gilda está grávida"</li>
 <li>q: "Marcondes sabe lógica"</li>
 </ul>

 Dado o enunciado, sabemos que:

 <ul>
 <li>Gilda não está grávida então p é falsa: <math xmlns="http://www.w3.org/1998/Math/MathML"><mfenced><mrow><mo>¬</mo><mi>p</mi></mrow></mfenced></math>.</li>
 <li>Marcondes não sabe lógica, assim q é falsa: <math xmlns="http://www.w3.org/1998/Math/MathML"><mfenced><mrow><mo>¬</mo><mi>q</mi></mrow></mfenced></math>.</li>
 </ul>

 Precisamos avaliar as seguintes proposições:

 <ul>
 <li>1. "Se Gilda está grávida, então Marcondes não sabe lógica", que pode ser representada como <math xmlns="http://www.w3.org/1998/Math/MathML"><mi>p</mi> <mo>→</mo> <mo>¬</mo><mi>q</mi></math>.</li>
 <li>2. "Marcondes sabe lógica ou Gilda está grávida", que pode ser representada como <math xmlns="http://www.w3.org/1998/Math/MathML"><mi>q</mi> <mo>∨</mo> <mo>¬</mo><mi>p</mi></math>.</li>
 </ul>

 Primeiro, vamos analisar a proposição 1:

 A proposição <math xmlns="http://www.w3.org/1998/Math/MathML"><mi>p</mi> <mo>→</mo> <mo>¬</mo><mi>q</mi></math> é verdadeira exceto no caso em que p é verdadeira e <mo>¬</mo>q (ou seja, q é falsa) é falsa. Nós sabemos que:
 
 <ul>
 <li><math xmlns="http://www.w3.org/1998/Math/MathML"><mi>p</mi> = falso</math></li>
 <li><math xmlns="http://www.w3.org/1998/Math/MathML"><mo>¬</mo><mi>q</mi> = verdadeira</math></li>
 </ul>

 Logo, a proposição se torna: <math xmlns="http://www.w3.org/1998/Math/MathML"><text>falso → verdadeiro = verdadeiro</text></math>, o que implica que a primeira proposição é verdadeira.

 Agora, analisamos a proposição 2:

 A proposição <math xmlns="http://www.w3.org/1998/Math/MathML"><mi>q</mi> <mo>∨</mo> <mo>¬</mo><mi>p</mi></math> é verdadeira se pelo menos um dos seus componentes for verdadeiro. Sabemos que:
 
 <ul>
 <li><math xmlns="http://www.w3.org/1998/Math/MathML"><mi>q</mi> = falso</math></li>
 <li><math xmlns="http://www.w3.org/1998/Math/MathML"><mo>¬</mo><mi>p</mi> = verdadeiro</math></li>
 </ul>

 Assim, temos: <math xmlns="http://www.w3.org/1998/Math/MathML"><text>falso ∨ verdadeiro = verdadeiro</text></math>, e portanto, a segunda proposição é verdadeira.

 Agora, podemos resumir os valores lógicos das duas proposições analisadas:

 <ul>
 <li>Proposição 1: <math xmlns="http://www.w3.org/1998/Math/MathML"><mi>p</mi> <mo>→</mo> <mo>¬</mo><mi>q</mi> é verdadeira.</math></li>
 <li>Proposição 2: <math xmlns="http://www.w3.org/1998/Math/MathML"><mi>q</mi> <mo>∨</mo> <mo>¬</mo><mi>p</mi> é verdadeira.</math></li>
 </ul>

 Verificamos que a primeira proposição é verdadeira e a segunda também é verdadeira, o que contradiz a alternativa correta sugerida de que ela seria a opção C, onde afirmava-se que a primeira proposição era verdadeira e a segunda proposição era falsa.

 Vamos revisar as alternativas e compará-las:

 <ul>
 <li>A) falsa e falsa: Incorreta, pois a primeira é verdadeira.</li>
 <li>B) falsa e verdadeira: Incorreta.</li>
 <li>C) verdadeira e falsa: Incorreta, pois ambas são verdadeiras.</li>
 <li>D) verdadeira e verdadeira: Correta, pois ambas as proposições se sustentam como verdadeiras.</li>
 </ul>

 Assim, fica claro que a interpretação correta dos valores lógicos das proposições é que ambas são verdadeiras.

 Portanto, a alternativa correta é D.
</body>
</html>

 Eles não têm pão e devem comer brioche.

 Eles têm pão e não devem comer brioche.

 Eles não têm pão e não devem comer brioche. 

 Se o partido de João o expulsar, então o deputado João votou a favor do projeto.

 Se o partido de João não o expulsar, então o deputado João não votou a favor do projeto.

 Se o deputado João votar a favor do projeto, então o partido de João não vai expulsá-lo.

 Se o deputado João não votar a favor do projeto, então o partido de João não vai expulsá-lo.

Questões de SELECON - Raciocínio Lógico