El valor de un términot, y si una fórmulaA se satisface o no en una estructura con respecto as, sólo depende de las asignacioness que haga a las variables ent y las variables libre...El valor de un términot, y si una fórmulaA se satisface o no en una estructura con respecto as, sólo depende de las asignacioness que haga a las variables ent y las variables libres deA.
