Si yo tengo lo siguiente:
Para toda valuación ¿Es esto suficiente para afirmar que
?
Más en general, ¿si yo tengo y
entonces
?
Hola.
Hola.
Si y si.
La idea es que dos fórmulas son equivalentes si en toman el mismo valor en todas las valuaciones.
Estaría bárbaro si te probas la propiedad que proponés.
Saludos FDO.