Tal vez lo que se encuentra confuso es el uso de set-generador de notación para definir $P, Q, R$: Incluido en entre { ... } son la condición de la(s) que cualquier "candidato" elemento debe satisfacer para ser incluido en el conjunto, y un conjunto definido por el generador de la notación contiene todo, y sólo aquellos elementos de la satisfacción de todas las condiciones dadas.
En cada una de las $P,\; Q, \;R$, set-generador de notación se utiliza para proporcionar las condiciones para la inclusión en cada grupo, respectivamente. Nota: a menos que se estipule lo contrario, usted puede tomar condiciones separados por una coma a una conjunción de condiciones; es decir:
$$X = \{x : \text{(condition 1), (condition 2), ...., (condition n)}\}$$ means $X$ is the set of all x such that x satisfies (condition 1) AND x satisfies (condition 2) AND ... AND x satisfies (condition n).
$$P = \{x: x^2 = 4, x \text{ is odd}\}$$
The only solution to $x^2 = 4$ are $x = -2$ or $x = 2$, neither of which is odd. Hence there are $$ elements in $P$; that is, $\;P = \varnothing$.
$$Q= \{x: x^2 = 9, x \text{ is even}\}$$
The only solutions to $x^2 = 9$ are $x = -3$ or $x = 3$, neither of which is even. Hence, there are no elements in $P$; that is, $\;P = \varnothing$.
$$R = \{x: x^2 = 9, 2x =4\}$$
$x = 2$ is the only solution to $2x = 4$, but $x = 2$ is not a solution to $x^2 = 9$, (and neither $x = 3$ nor $x = -3$ is a solution to $2x = 4$). Hence, there are no elements in $R$; that is, $\;R = \varnothing$.
NOTE: As an aside, regarding notation - sometimes instead of a colon :
preceding the defining characteristics of a given element, you'll see |
in place of the colon. E.g., $$P = \{x: x^2 = 4, x \text{ is odd}\}\iff \{x\mid x^2 = 4, x \text{ is odd}\}$$