Mercurial > 13ws.ds

changeset 24:140a0060e2f8

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
fix neg elimination
author Markus Kaiser <markus.kaiser@in.tum.de>
date Tue, 19 Nov 2013 14:55:58 +0100
parents 41623ba498a9
children 9d87018168eb
files notes/tex/logic.tex
diffstat 1 files changed, 3 insertions(+), 3 deletions(-) [+]
line wrap: on
line diff
--- a/notes/tex/logic.tex	Mon Nov 18 23:53:41 2013 +0100
+++ b/notes/tex/logic.tex	Tue Nov 19 14:55:58 2013 +0100
@@ -589,8 +589,8 @@
 \end{frame}
 
 {
-    \newcommand{\F}{\phi}
-    \newcommand{\G}{\psi}
+    \newcommand{\F}{\tau}
+    \newcommand{\G}{\varphi}
     \newcommand{\K}{\chi}
     \newcommand{\subproof}[2]{%
         \begin{tikzpicture}[y=.9em]
@@ -681,7 +681,7 @@
                     \AxiomC{$\F$}
                     \AxiomC{$\neg\F$}
                     \RightLabel{\scriptsize $-\neg$}
-                    \UnaryInfC{$\bot$}
+                    \BinaryInfC{$\bot$}
                 }
         \end{tabu}
     \end{frame}