"p"("x") es cierta y el conjunto