Si \(P (x)\) est une proposition dépendant de \(x \in X\), on note \(\overline{P} =
\left\{ x \in X / P (x) \text{ est vraie}\right\}\).
Exprimer en fonction de \(\overline{P}\) et \(\overline{Q}\) les ensembles \(\overline{\neg P},
\overline{P \wedge Q}, \overline{P \vee Q}, \overline{P \Rightarrow Q},
\overline{P \Leftrightarrow Q}\).