Hola, para la demostración del si y solo si de nuestra fórmula, tenemos que usar el concepto de asignaciones para demostrar que nuestra fórmula se puede satisfacer? O basta con explicar con palabras que dada nuestra fórmula, si se cumplen las 3 condiciones que se piden, la fórmula se puede satisfacer para alguna estructura sobre el lenguaje L (y al reves con el ssi)?
Hola, para la demostración del si y solo si de nuestra fórmula, tenemos que usar el concepto de asignaciones para demostrar que nuestra fórmula se puede satisfacer? O basta con explicar con palabras que dada nuestra fórmula, si se cumplen las 3 condiciones que se piden, la fórmula se puede satisfacer para alguna estructura sobre el lenguaje L (y al reves con el ssi)?