[Tarea 7] - Duda sobre el enunciado

[VicenteVicente]

Ese "si y solo si" debiese ser un "entonces"?

, ya que no le encuentro mucho sentido demostrar "de derecha a izquierda": "si la interpretación menor^A de la relación A es un orden total, entonces A sobre L satisface phi"

[juanreutter]

Está bien el si y solo si: si menor en la estructura es un orden total entonces la estructura satisface a la formula, y si la estructura satisface a la formula entonces menor en la estructura es un orden total.

¿Por qué no le ves mucho sentido?

[VicenteVicente]

hmm... creo que le encuentro el sentido ahora le daré una vuelta gracias :)