Ваљаност (логика) — разлика између измена
Садржај обрисан Садржај додат
Ред 106:
<math>
\begin{alignat}{1}
& N = (\mathbb{N} \cup \{0\}, \leq) \\
& A(x) := x<0\\
& B(x) := x=2
|
Ред 106:
<math>
\begin{alignat}{1}
& N = (\mathbb{N} \cup \{0\}, \leq) \\
& A(x) := x<0\\
& B(x) := x=2
|