Iniciei pela proposição simples:
* João utilizará dois dos meios de transporte citados.(V)
*Se Maria utilizar avião(F), então João não utilizará avião(F) nem navio(F). => Como eu adotei a afirmação que João utilizará dois dos meios de transporte como (V), logo essa afirmação de que João NÃO UTILIZARÁ (...) será Falsa. O conectivo NEM é = "E" + "NÃO" e sabemos que com o conectivo "E" para a proposição ser falsa, basta uma ser (F); ----------------------------------->>>>> SE (F), ENTÃO (F) = (V)
*Se José utilizar avião ou navio, então Maria utilizará avião(F). Pela análise da questão anterior,Maria utilizar avião é (F), logo a primeira não poderá ter valor lógico (V), pois ocorrerá a VERA FISCHER (V) --> (F) = (F).
Então, para obter uma proposição verdadeira, José utilizar avião(F) ou navio(F) terá valor (F).
Novamente ------------------------->>>>> SE (F), ENTÃO (F) = (V)
O que me deixou na dúvida nessa questão foi que, apesar do enunciado afirmar que cada um utilizará uma combinação entre ônibus, avião e navio como meios de transporte, não foi o que ocorreu, pois José utilizará apenas ônibus como transporte, LETRA B.
João utilizará 2 dos meios de transporte
Se Maria utilizar avião, João não utilizará avião nem navio
Se José utilizar avião ou navio, Maria utilizará avião
Pego a afirmação: João utilizará 2 dos meios de transporte e verifico onde ele afirma isso ou nega nas outras frases condicionais.
Se Maria utilizar avião, João não utilizará avião nem navio, mas ele afirmou q joão utilizará 2 dos meios de transporte e nessa frase ele está negando isso. Se ele negou na segunda parte da frase eu nego a primeira parte tb, então a frase fica: Maria NÃO utilizará avião.
Agora vejo onde tem essa afirmação sobre Maria: Se José utilizar avião ou navio, Maria utilizará avião, ele novamente está negando, já q a afirmação anterior tinha sido que Maria não utilizará avião, se ele negou a segunda parte da frase, eu nego a primeira tb, ou seja, José NÃO utilizará avião E navio.
O que me resta concluir q José utilizará ônibus.