Considere as seguintes premissas: ‒ Se é domingo então Marcelo faz caminhada. ‒ Se chover então Marcelo não faz caminhada. ‒ Se não é domingo então Marcelo acorda cedo. ‒ Marcelo a

Gabarito

B

Comentário do professor

Tomamos as premissas como verdadeiras: \(d\to M\) (se é domingo então Marcelo faz caminhada), \(c\to\neg M\) (se chover então Marcelo não faz caminhada), \(\neg d\to a\) (se não é domingo então acorda cedo) e \(\neg a\) (Marcelo acordou tarde).

Da conjunção \(\neg d\to a\) e \(\neg a\) aplicamos modus tollens (condicional verdadeiro com consequente falso implica antecedente falso) para inferir \(d\). Assim, conclui-se que é domingo.

Com \(d\) e \(d\to M\) usamos modus ponens (condicional verdadeiro com antecedente verdadeiro implica consequente verdadeiro) e obtém-se \(M\): Marcelo fez caminhada.

Finalmente, de \(c\to\neg M\) e do fato \(M\) aplicamos modus tollens e inferimos \(\neg c\). Logo, Não choveu.