Mercurial > 13ws.ds

comparison notes/tex/logic.tex @ 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 4436f8006ebd
comparison
equal deleted inserted replaced
23:41623ba498a9 24:140a0060e2f8
587 \item Deshalb sind nicht alle Sätze der Mathematik beweisbar 587 \item Deshalb sind nicht alle Sätze der Mathematik beweisbar
588 \end{itemize} 588 \end{itemize}
589 \end{frame} 589 \end{frame}
590 590
591 { 591 {
592 \newcommand{\F}{\phi} 592 \newcommand{\F}{\tau}
593 \newcommand{\G}{\psi} 593 \newcommand{\G}{\varphi}
594 \newcommand{\K}{\chi} 594 \newcommand{\K}{\chi}
595 \newcommand{\subproof}[2]{% 595 \newcommand{\subproof}[2]{%
596 \begin{tikzpicture}[y=.9em] 596 \begin{tikzpicture}[y=.9em]
597 \path 597 \path
598 (0, 0) node (a) {##1} 598 (0, 0) node (a) {##1}
679 & 679 &
680 \topproof{ 680 \topproof{
681 \AxiomC{$\F$} 681 \AxiomC{$\F$}
682 \AxiomC{$\neg\F$} 682 \AxiomC{$\neg\F$}
683 \RightLabel{\scriptsize $-\neg$} 683 \RightLabel{\scriptsize $-\neg$}
684 \UnaryInfC{$\bot$} 684 \BinaryInfC{$\bot$}
685 } 685 }
686 \end{tabu} 686 \end{tabu}
687 \end{frame} 687 \end{frame}
688 688
689 \begin{frame} 689 \begin{frame}