Lógica de Argumentação — Apenas uma Verdade
Gabarito: letra D. As três afirmações (x=2; z=3; y≠1) são mutuamente exclusivas? Não, exatamente uma é verdadeira. Testando todas as permutações possíveis para x, y, z (cada um 1,2,3 distintos), descobrimos que apenas duas atribuições satisfazem a condição de exatamente uma verdade: (x=1, y=3, z=2) e (x=3, y=2, z=1). Em ambas, a única verdadeira é "y≠1". A partir daí, analisamos as alternativas.
Alternativa A — ❌ Incorreta
Afirma x=2. Nas duas atribuições válidas, x é 1 ou 3, nunca 2.
Alternativa B — ❌ Incorreta
Afirma y=1. Nas atribuições, y é 3 ou 2, nunca 1.
Alternativa C — ❌ Incorreta
Afirma z=3. Nas atribuições, z é 2 ou 1, nunca 3.
Alternativa D — ✅ Correta ⟵ GABARITO
"Se z=1 então x=3". Verificamos: na atribuição onde z=1 (x=3, y=2, z=1), o antecedente é verdadeiro e o consequente x=3 é verdadeiro → condicional verdadeira. Na outra atribuição (z=2), o antecedente é falso, tornando a condicional verdadeira por vacuidade. Logo, a proposição é verdadeira em ambos os casos.
Alternativa E — ❌ Incorreta
"Se x≠2 então z=3". Em ambas as atribuições, x≠2 é verdadeiro (x=1 ou 3), mas z nunca é 3 (z=2 ou 1). Portanto, a condicional é falsa (V→F).
Gabarito: letra D.