Hola buenas tardes!
Tengo una duda, la parte D me quedo asi:
cuadrado_creciente() := (∀x1)(∀x2)( m(x1, x2) → m(M(x1, x1), M(x2, x2)) )
Queria saber si estaba bien que a cuadrado_creciente() no le pasé ningun parametro,
Gracias!
Hola:
Es correcta tu solución.
La expresión es una sentencia que habla de todos los elementos del universo . Está bien que no haya variables libres.
Es correcta tu solución.
La expresión es una sentencia que habla de todos los elementos del universo . Está bien que no haya variables libres.