Si tengo el conjunto Γ |= α , y resulta no existe ningun M eta. tal que M |= α entonces esto significa que se cumple Γ |= α ?
(porque el antecedente de el implica en la def de |= seria falso)
Supongo que eso hace corresponder ⊥ |- cualquiercosa, en treminos semanticos