Lógica proposicional – Condicional verdadeira
Gabarito: letra E. A sentença “Se André é vascaíno ou Beto é botafoguense, então Cadu é flamenguista e Beto não é botafoguense” é uma condicional do tipo . Como ela é dada como verdadeira, podemos simplificá-la por equivalência lógica. A condicional equivale a . Aplicando: . Portanto, a sentença verdadeira equivale a duas condições: (1) é verdadeiro (Beto não é botafoguense) e (2) é verdadeiro (André não é vascaíno ou Cadu é flamenguista).
A condição (1) já nos dá a conclusão direta: Beto não é botafoguense. Essa é a alternativa E, e é a única que pode ser garantida.
p (André vascaíno) | q (Beto botafoguense) | r (Cadu flamenguista) | (p ∨ q) → (r ∧ ¬q) | ¬q (Beto não botafoguense) |
|---|
V | V | V | F | F |
V | V | F | F | F |
V | F | V | V | V |
V | F | F | F | V |
F | V | V | F | F |
F | V | F | F | F |
F | F | V | V | V |
F | F | F | V | V |
Alternativa A — ❌ Incorreta
Afirma que André é vascaíno (). Isso não é necessário, pois a condição (2) pode ser satisfeita por verdadeiro (André não vascaíno) ou por verdadeiro (Cadu flamenguista).
Alternativa B — ❌ Incorreta
Afirma que Beto é botafoguense (). Isso contradiz diretamente a condição (1), que exige verdadeiro. Portanto, é falsa.
Alternativa C — ❌ Incorreta
Afirma que Cadu é flamenguista (). Não é garantido, pois a condição (2) pode ser satisfeita com verdadeiro, mesmo que seja falso.
Alternativa D — ❌ Incorreta
Afirma que André não é vascaíno (). Também não é garantido, pois a condição (2) pode ser satisfeita com verdadeiro, mesmo que seja verdadeiro.
Alternativa E — ✅ Correta ⟵ GABARITO
A condição (1) estabelece como verdadeiro, ou seja, Beto não é botafoguense. Essa é a única conclusão que decorre necessariamente da sentença dada.
Conclusão: A sentença verdadeira exige que Beto não seja botafoguense, resposta direta da alternativa E.