Mercurial > 13ws.ds

comparison notes/tex/basics.tex @ 18:8408cf61d46b

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
fix error in equivalences
author Markus Kaiser <markus.kaiser@in.tum.de>
date Wed, 13 Nov 2013 14:33:22 +0100
parents 099613ee2f37
children 845ff8b2cbc6
comparison
equal deleted inserted replaced
17:099613ee2f37 18:8408cf61d46b
805 \frametitle{Äquivalenzregeln} 805 \frametitle{Äquivalenzregeln}
806 \setbeamercovered{dynamic} 806 \setbeamercovered{dynamic}
807 807
808 \begin{description}[Triviale Kontradiktion\quad] 808 \begin{description}[Triviale Kontradiktion\quad]
809 \item[Identität] $\F \wedge \true \equiv \F \spc \F \vee \false \equiv \F$ 809 \item[Identität] $\F \wedge \true \equiv \F \spc \F \vee \false \equiv \F$
810 \item[Dominanz] $\F \vee \true \equiv \true \spc \F \wedge \false \equiv \F$ 810 \item[Dominanz] $\F \vee \true \equiv \true \spc \F \wedge \false \equiv \false$
811 \item[Idempotenz] $\F \vee \F \equiv \F \spc \F \wedge \F \equiv \F$ 811 \item[Idempotenz] $\F \vee \F \equiv \F \spc \F \wedge \F \equiv \F$
812 \item[Doppelte Negation] $\neg \neg \F \equiv \F$ 812 \item[Doppelte Negation] $\neg \neg \F \equiv \F$
813 \item[Triviale Tautologie] $\F \vee \neg \F \equiv \true$ 813 \item[Triviale Tautologie] $\F \vee \neg \F \equiv \true$
814 \item[Triviale Kontradiktion] $\F \wedge \neg \F \equiv \false$ 814 \item[Triviale Kontradiktion] $\F \wedge \neg \F \equiv \false$
815 \bigskip 815 \bigskip
832 %\setbeamercovered{dynamic} 832 %\setbeamercovered{dynamic}
833 833
834 %\vspace{-2em} 834 %\vspace{-2em}
835 %\begin{align} 835 %\begin{align}
836 %\F \wedge \true &\equiv \F \spc \F \vee \false \equiv \F \tag{\structure{Identität}}\\ 836 %\F \wedge \true &\equiv \F \spc \F \vee \false \equiv \F \tag{\structure{Identität}}\\
837 %\F \vee \true &\equiv \true \spc \F \wedge \false \equiv \F \tag{\structure{Dominanz}}\\ 837 %\F \vee \true &\equiv \true \spc \F \wedge \false \equiv \false \tag{\structure{Dominanz}}\\
838 %\F \vee \F &\equiv \F \spc \F \wedge \F \equiv \F \tag{\structure{Idempotenz}}\\ 838 %\F \vee \F &\equiv \F \spc \F \wedge \F \equiv \F \tag{\structure{Idempotenz}}\\
839 %\neg \neg \F &\equiv \F \tag{\structure{Doppelte Negation}}\\ 839 %\neg \neg \F &\equiv \F \tag{\structure{Doppelte Negation}}\\
840 %\F \vee \neg \F &\equiv \true \tag{\structure{Triviale Tautologie}}\\ 840 %\F \vee \neg \F &\equiv \true \tag{\structure{Triviale Tautologie}}\\
841 %\F \wedge \neg \F &\equiv \false \tag{\structure{Triviale Kontradiktion}}\\ 841 %\F \wedge \neg \F &\equiv \false \tag{\structure{Triviale Kontradiktion}}\\
842 %\bigskip 842 %\bigskip