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_1) q(x) es P ∩ Q.