Si A y B son fórmulas cualquiera de un lenguaje L, formula_107 es un conjunto de fórmulas de L, y M es una interpretación de L, entonces: