Mercurial > 13ws.ds
comparison notes/tex/logic.tex @ 28:f639b478a28b
typo
| author | Markus Kaiser <markus.kaiser@in.tum.de> |
|---|---|
| date | Mon, 02 Dec 2013 10:52:41 +0100 |
| parents | 4436f8006ebd |
| children | b5094b3e3111 |
comparison
equal
deleted
inserted
replaced
| 27:f52078f78e60 | 28:f639b478a28b |
|---|---|
| 781 Seien $A, B\in \logic$, $t_i \in \terms$ und $P \in \preds$. Dann sind alle Formeln | 781 Seien $A, B\in \logic$, $t_i \in \terms$ und $P \in \preds$. Dann sind alle Formeln |
| 782 { | 782 { |
| 783 \setlength{\belowdisplayskip}{0pt} | 783 \setlength{\belowdisplayskip}{0pt} |
| 784 \setlength{\abovedisplayskip}{0pt} | 784 \setlength{\abovedisplayskip}{0pt} |
| 785 \begin{itemize} | 785 \begin{itemize} |
| 786 \item Grundbausteile | 786 \item Grundbausteine |
| 787 \smallskip | 787 \smallskip |
| 788 \begin{align} | 788 \begin{align} |
| 789 V = \left\{ a, b, \dots \right\} &\subseteq \logic\tag{\alert{Variablen}}\\ | 789 V = \left\{ a, b, \dots \right\} &\subseteq \logic\tag{\alert{Variablen}}\\ |
| 790 P(t_1, \dots, t_n) &\in \logic\tag{\alert{Prädikate, Konstanten}}\\ | 790 P(t_1, \dots, t_n) &\in \logic\tag{\alert{Prädikate, Konstanten}}\\ |
| 791 t_i = t_j &\in\logic\tag{\alert{Gleichheit}}\\ | 791 t_i = t_j &\in\logic\tag{\alert{Gleichheit}}\\ |