Buenas, resolviendo un ejercicio de parcial me surgió la siguiente duda:
Si yo tengo una fórmula que es una tautología, entonces tengo que se cumple ⊨a, esto sería lo mismo que decir que ∅⊨a, entonces mi duda es si sería correcto afirmar que no existe una fórmula b que cumple b⊨a, ya que si existiera, b∈∅, lo cual es absurdo.
Gracias.
