Mercurial > 13ws.ds
changeset 24:140a0060e2f8
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}