Si P es el conjunto solución de la proposición p(x) y Q el de la proposición q(x), entonces el conjunto solución de p(x) formula_12 q(x) es P ∪ Q.