La proposiciónformula_24 x, p(x) formula_17 q(x) es verdadera si y solo si P ⊂ Q y Q ⊂ P