changeset 18:8408cf61d46b

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
files notes/tex/basics.tex
diffstat 1 files changed, 2 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/notes/tex/basics.tex	Tue Nov 12 00:34:55 2013 +0100
+++ b/notes/tex/basics.tex	Wed Nov 13 14:33:22 2013 +0100
@@ -807,7 +807,7 @@
 
         \begin{description}[Triviale Kontradiktion\quad]
             \item[Identität] $\F \wedge \true \equiv \F \spc \F \vee \false \equiv \F$
-            \item[Dominanz] $\F \vee \true \equiv \true \spc \F \wedge \false \equiv \F$
+            \item[Dominanz] $\F \vee \true \equiv \true \spc \F \wedge \false \equiv \false$
             \item[Idempotenz] $\F \vee \F \equiv \F \spc \F \wedge \F \equiv \F$
             \item[Doppelte Negation] $\neg \neg \F \equiv \F$
             \item[Triviale Tautologie] $\F \vee \neg \F \equiv \true$
@@ -834,7 +834,7 @@
         %\vspace{-2em}
         %\begin{align}
             %\F \wedge \true &\equiv \F \spc \F \vee \false \equiv \F \tag{\structure{Identität}}\\
-            %\F \vee \true &\equiv \true \spc \F \wedge \false \equiv \F \tag{\structure{Dominanz}}\\
+            %\F \vee \true &\equiv \true \spc \F \wedge \false \equiv \false \tag{\structure{Dominanz}}\\
             %\F \vee \F &\equiv \F \spc \F \wedge \F \equiv \F \tag{\structure{Idempotenz}}\\
             %\neg \neg \F &\equiv \F \tag{\structure{Doppelte Negation}}\\
             %\F \vee \neg \F &\equiv \true \tag{\structure{Triviale Tautologie}}\\