Tenemos una lista
ordenada numéricamente e infinita de oraciones, cada una
de las cuales dice: "Todas las siguientes oraciones son
falsas"
¿Puede ser?
Solución:
Las oraciones no
son ni verdaderas ni falsas
Explicación:
-Supongo que una oración N de la lista es verdadera;
entonces las oraciones siguientes a ella serán falsas,
porque eso es lo que N dice.
-Pero si así sucede, entonces también las oraciones
siguientes a N+1 (la oración inmediatamente siguiente a
N) serán falsas, y por lo tanto N+1 será verdadera.
-Sin embargo, como N+1 es verdadera, N debe ser falsa
(ya que N decía que todas las siguientes a ella son
falsas, lo cual no resulta ser el caso).
-Al suponer que N era verdadera nos lleva a
contradicción, debemos suponer que es falsa. Pero como N
es una oración cualquiera, arbitraria (es decir, con
cualquiera de las oraciones de la lista hubiera obtenido
una contradicción), por Generalización Universal puedo
decir que todas las oraciones de la lista son falsas.
Pero si todas son falsas, todas las siguientes a N son
falsas, y por lo tanto N es verdadera otra vez.
Más tests
Divertidos y Curiosos
Tests de Otras Categorías