No se prueba que exista esa valuación.
Se prueba que si existiera una valuación tal, entonces esa valuación cumpliria que @#v_1(\varphi)=1#@.
Es probar que se cumple con la definición de consecuencia lógica.
No se prueba que exista esa valuación.
Se prueba que si existiera una valuación tal, entonces esa valuación cumpliria que @#v_1(\varphi)=1#@.
Es probar que se cumple con la definición de consecuencia lógica.