Lógica proposicional - Dedução a partir de premissas
Gabarito: letra D. A partir das premissas, deduz-se que Bernardo não é bombeiro, Aline é advogada e Cleide é contadora. A única alternativa que se sustenta é a D, pois a condicional "se Bernardo é bombeiro, então Aline não é advogada" tem antecedente falso (pois sabemos que Bernardo não é bombeiro), tornando a proposição verdadeira.
Vamos representar as proposições:
A: Aline é advogada
B: Bernardo é bombeiro
C: Cleide é contadora
D: Davi é desenhista
Premissas:
A ∨ B
¬B ∨ D
¬A ∨ C
¬D
Passo a passo:
De 4, D é falso.
Substituindo em 2: ¬B ∨ F → ¬B deve ser verdadeiro → B é falso.
De 1: A ∨ F → A deve ser verdadeiro.
De 3: F ∨ C → C é verdadeiro.
Conclusões: A = V, B = F, C = V, D = F.
Caso | A (Aline é advogada) | B (Bernardo é bombeiro) | C (Cleide é contadora) | D (Davi é desenhista) | Resultado |
|---|
Premissas | V | F | V | F | Consistente |
Alternativa D: B → ¬A | F | F | — | — | V (antecedente falso) |
Alternativa A — ❌ Incorreta
¬D → B. ¬D = V, B = F → V → F = F. Logo, a condicional é falsa.
Alternativa B — ❌ Incorreta
A ↔ B. V ↔ F = F. Bicondicional falsa.
Alternativa C — ❌ Incorreta
¬C ∨ D. ¬C = F, D = F → F ∨ F = F.
Alternativa D — ✅ Correta ⟵ GABARITO
B → ¬A. B = F, ¬A = F → F → F = V. A condicional é verdadeira porque o antecedente é falso (princípio da vacuidade).
Alternativa E — ❌ Incorreta
¬D → (A ∧ ¬C). ¬D = V, A ∧ ¬C = V ∧ F = F → V → F = F.
Portanto, apenas a alternativa D é logicamente correta.
MNEMÔNICOMANÉ [MANtém a primeira e NEga a segunda]
MANMANtém a primeira proposiçãoNENEga a segunda proposição. Ex.: a negação de 'Se chover, então levo o guarda-chuva' é 'Chove E eu NÃO levo o guarda-chuva'. Resultado: P→Q negado = P ∧ ~Q
Gabarito: letra D.