Card 1 de 1 · Dedução lógica com premissas condicionais
Se André vai de ônibus, então Marcelo não vai de ônibus. Se Patrick não vai de carro, então Marcelo vai de ônibus. Nem Otávio foi de ônibus, nem Patrick foi de carro. Assinale a alternativa correta.
Alternativa B (André não vai de ônibus; Marcelo vai de ônibus; Patrick não vai de carro; Otávio não vai de ônibus) — dedução correta a partir das premissas dadas.
A terceira premissa afirma diretamente que "nem Otávio foi de ônibus, nem Patrick foi de carro", ou seja, Otávio não vai de ônibus e Patrick não vai de carro (verdadeiro). Como Patrick não vai de carro, pela segunda premissa (condicional), conclui-se que Marcelo vai de ônibus. Como Marcelo vai de ônibus, pela primeira premissa (contrapositiva: se Marcelo vai de ônibus, então André não vai de ônibus, pois se André fosse, Marcelo não iria), conclui-se que André não vai de ônibus — todas as conclusões batem com a alternativa B.
Fundamentação teórica
Lógica Proposicional — Modus Ponens e Contrapositiva em Cadeias de Implicação.
Base científica
Lógica matemática — regras de inferência dedutiva.
Técnica de memorização
Premissa "nem X, nem Y" já entrega dois fatos de graça — use-os para "destravar" as condicionais seguintes, uma de cada vez.
Exemplo prático
Sabendo que Patrick não vai de carro, aplica-se diretamente a segunda premissa para concluir que Marcelo vai de ônibus, e daí se deduz o restante da cadeia lógica.
Erros comuns
Inverter a direção da implicação condicional (achar que a conclusão implica a premissa, quando é o contrário) ao encadear as deduções.
💡 Errou esse card? Marque para revisão para estudar depois. Quanto mais você errar, mais importante revisar o assunto.