[VERIFICACIÓN Y VALIDACIÓN] Lógica predicativa 2

Esta vez se nos encargó realizar un ejercicio del documento proporcionado en clase, del cual yo escogí el siguiente:

Rephrase “x ≤ y ^ y ≤ z” in predicate logic, using binary relations < for “less than” and = for “equal”.

Reformule “x ≤ y ^ y ≤ z” en lógica predicativa, usando relaciones binarias < para "menor que" y = para "igual".

La expresión es:

x ≤ y ^ y ≤ z

Y dice que "x" es menor o igual a "y", y que "y" es menor o igual a "z".

Por lo que quedan las siguientes relaciones binarias:
(x < y), (x = y), (y < z), (y = z)

Al unirlas según la expresión se pueden escribir de la siguiente manera:

[(x < y) v (x = y)] ^ [(y < z) v (y = z)]

O de la siguiente manera:

[(x < y) ^ (y < z)] v [(x = y) ^ (y = z)]

Y de estas podemos reordenarlas de la siguiente manera:

(x < y < z) v (x = y = z)

O bien:

x ≤ y ≤ z