Caso ou compro uma moto. Viajo ou não caso. Vou morar em Paquetá ou não compro uma moto. Ora, não vou morar em Paquetá. Concluindo:

Gabarito

A

Comentário do professor

Seja \(c\): caso; \(m\): compro a moto; \(v\): viajo; \(P\): moro em Paquetá. As premissas são \(c \lor m\), \(v \lor \neg c\), \(P \lor \neg m\) e \(\neg P\).

Como \(\neg P\) é verdadeira, da disjunção \(P \lor \neg m\) segue que \(\neg m\) é verdadeira. Ou seja, não compro a moto.

Com \(\neg m\) verdadeiro, da disjunção \(c \lor m\) resulta \(c\). Logo, caso ocorre.

Finalmente, com \(c\) verdadeiro, da disjunção \(v \lor \neg c\) deve ser verdadeiro \(v\). Assim, conclui-se viajo e caso.