Mercurial > 13ws.ds

changeset 57:a78ea627829e

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
be more precise than "predicate logic"
author Markus Kaiser <markus.kaiser@in.tum.de>
date Thu, 10 Apr 2014 00:10:18 +0200
parents 1cbb4a5e6ce7
children 8946d732625f
files notes/tex/logic.tex
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/notes/tex/logic.tex	Tue Feb 25 00:26:19 2014 +0100
+++ b/notes/tex/logic.tex	Thu Apr 10 00:10:18 2014 +0200
@@ -558,7 +558,7 @@
             \medskip
         \item Es gibt keine solchen Kalküle für die
             \begin{itemize}
-                \item Prädikatenlogik
+                \item Prädikatenlogik höherer Stufe
                 \item Arithmetik
             \end{itemize}
         \item Deshalb sind nicht alle Sätze der Mathematik beweisbar