Mengdelære

2. Mengdelære#

Grunnleggende mengdelære

../../../_images/mengder_venndiagram.svg
Mengder

Mengder som lister

\[ x \in \left\{-1, \pi, \dfrac{2}{3}\right\} \]
\[ \mathbb{N} = \{1, 2, 3, \ldots\} \]
\[ \mathbb{Z} = \{\ldots, -1, 0, 1, \ldots\} \]
Mengder som lister

Mengder som ulikheter

\[ x > 2 \]
\[ -2 < y \leq 5 \]
\[ 5 \leq z \]
Mengder som ulikheter

Intervaller

\[ x \in \langle 2, 5] \]
\[ y \in [2, 5] \]
\[ z \in \langle \gets, 5] \]
Mengder som intervaller

Setningslogikk

\[ P \implies Q \]
\[ x = 2 \iff x \in \{2\} \]
\[ x = 2 \lor x = 3 \]
\[ x = -1 \land y = 3 \]
Setningslogikk