Considere verdadeiras as afirmações: − Estudo ou passeio. − Vou à escola ou não estudo. − Fico em casa ou não passeio. Ontem não fiquei em casa, portanto,

Vamos simbolizar:

• $E$: estudo
• $P$: passeio
• $S$: vou à escola
• $C$: fico em casa

Afirmações dadas como verdadeiras:

1. “Estudo ou passeio.” $\Rightarrow E \lor P$
2. “Vou à escola ou não estudo.” $\Rightarrow S \lor \neg E$
3. “Fico em casa ou não passeio.” $\Rightarrow C \lor \neg P$

Informação: “Ontem não fiquei em casa” $\Rightarrow \neg C$.

Pela (3): $C \lor \neg P$. Como $\neg C$ é verdadeiro, para a disjunção ser verdadeira necessariamente $\neg P$ é verdadeiro. Logo, não passei: $\neg P$.

Pela (1): $E \lor P$. Como $P$ é falso (pois $\neg P$ é verdadeiro), então deve ser $E$ verdadeiro. Logo, estudei: $E$.

Pela (2): $S \lor \neg E$. Como $E$ é verdadeiro, então $\neg E$ é falso; para a disjunção ser verdadeira, precisa ser $S$ verdadeiro. Logo, fui à escola: $S$.

Concluímos: fui à escola e estudei.