Temos uma questão de lógica proposicional envolvendo funções. As premissas fornecidas são todas proposições compostas:
P1: Se f(x) = x, então g(x) = x.
P2: Se f(x) ≠ x, então ou g(x) = x, ou h(x) = x, ou ambas as funções, g(x) e h(x) são iguais a x, ou seja, g(x) = x e h(x) = x.
P3: Se h(x) ≠ x, então g(x) ≠ x.
P4: Se h(x) = x, então f(x) = x
Merece destaque a proposição P2. Veja que a expressão “ou g(x) = x, ou h(x) = x, ou ambas as funções, g(x) e h(x) são iguais a x, ou seja, g(x) = x e h(x) = x” pode ser resumida pela disjunção simples:
g(x) = x ou h(x) = x
Assim, ficamos com:
P1: Se f(x) = x, então g(x) = x.
P2: Se f(x) ≠ x, então g(x) = x ou h(x) = x
P3: Se h(x) ≠ x, então g(x) ≠ x.
P4: Se h(x) = x, então f(x) = x
Assumindo que f(x) = x, em P1 vemos que g(x) = x. P2 já fica verdadeira, pois o termo “f(x) ≠ x” é Falso. Em P3, como “g(x) ≠ x” é F, então é preciso que “h(x) ≠ x” seja F, ou seja, h(x) = x. Com isso, P4 fica verdadeira, pois temos VàV.
Foi possível tornar todas as premissas verdadeiras, desde que f(x) = g(x) = h(x) = x.
Resposta: A