Alternativa D - Não estudo ou sou aprovado
Introdução à Lógica Proposicional
Esta questão envolve equivalência lógica entre proposições condicionais. Para responder corretamente, precisamos entender como transformar uma implicação condicional em sua forma equivalente.
Desenvolvimento
A frase original é: "Se estudo, então sou aprovado"
Em lógica formal, isso se representa como:
p \Rightarrow q
Onde:
- p: Eu estudo
- q: Sou aprovado
Regra de Equivalência da Implicação
A implicação condicional tem uma equivalência fundamental com a disjunção:
p \Rightarrow q \equiv \neg p \lor q
Isso significa que "se p, então q" é logicamente equivalente a "não p OU q".
Tabela Comparativa das Alternativas
| Letra | Expressão | Forma Lógica | Equivalente? |
|---|
| A | Estudo ou sou aprovado | p \lor q | ❌ |
| B | Não estudo e sou aprovado | \neg p \land q | ❌ |
| C | Não estudo ou não sou aprovado | \neg p \lor \neg q | ❌ |
| D | Não estudo ou sou aprovado | \neg p \lor q | ✅ |
| E | Estudo e sou aprovado | p \land q | ❌ |
Análise
Por que a alternativa D está correta?
- A estrutura "não estudo OU sou aprovado" corresponde exatamente a \neg p \lor q
- Esta é a definição formal de equivalência para implicações lógicas
- O conectivo "OU" torna a afirmação verdadeira quando o antecedente é falso (não estudo) ou quando o consequente é verdadeiro (sou aprovado)
Exemplo prático:
| Situação | Frase Original | Alternativa D |
|---|
| Estudei e fui aprovado | Verdadeiro | Verdadeiro |
| Estudei e não fui aprovado | Falso | Falso |
| Não estudei e fui aprovado | Verdadeiro | Verdadeiro |
| Não estudei e não fui aprovado | Verdadeiro | Verdadeiro |
Conclusão
A alternativa D é a única que preserva o mesmo valor lógico da frase original através da equivalência p \Rightarrow q \equiv \neg p \lor q.