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, buenas noches. Viendo el teórico me surgió una duda sobre una propiedad que no estoy del todo seguro si se cumple.
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.