Observe as seguintes premissas com relação aos amigos Jorge, Pedro, Manuel e Paulo: ▪ Jorge é casado ou Pedro é casado. ▪ Se Jorge é casado, então Manuel é solteiro. ▪ Manuel é cas

Gabarito

B

Comentário do professor

Das premissas, temos como dado imediato que Paulo é solteiro.

Da bicondicional "Manuel é casado iff Paulo é solteiro" (ou \( \text{Manuel} \leftrightarrow \text{Paulo solteiro} \)), como a segunda parte é verdadeira, a primeira também deve ser verdadeira. Logo, Manuel é casado.

A premissa "Se Jorge é casado, então Manuel é solteiro" é uma condicional. Como já vimos que Manuel é casado (o consequente é falso), a condicional só permanece verdadeira se o antecedente for falso; portanto, Jorge não é casado.

Finalmente, a premissa "Jorge é casado ou Pedro é casado" é uma disjunção. Com a primeira parte falsa, para a disjunção ser verdadeira é necessário que a segunda parte seja verdadeira. Assim, Pedro é casado.

Conclusão: Pedro e Manuel são casados.