Aller au contenu
Mes Cours
GitHubCodeberg

Formules

Négations

  • non(xST)xSTnon(x \in S \cup T) \Leftrightarrow x \notin S \cap T
  • non(xS)xSnon(\forall x \in S) \Leftrightarrow \exists x \in S