From 9c0a5473a16283e6f48cd83d288938c316d7f73a Mon Sep 17 00:00:00 2001
From: Niklas <niklas.birk.nb@gmail.com>
Date: Sun, 11 Sep 2022 15:14:03 +0200
Subject: [PATCH] Remove unnecessary line numbering in truth tables
---
docs/mathematik/mengenlehre/1_logik.md | 16 ++++++++--------
1 file changed, 8 insertions(+), 8 deletions(-)
diff --git a/docs/mathematik/mengenlehre/1_logik.md b/docs/mathematik/mengenlehre/1_logik.md
index b8632f2..dabfa95 100644
--- a/docs/mathematik/mengenlehre/1_logik.md
+++ b/docs/mathematik/mengenlehre/1_logik.md
@@ -223,22 +223,22 @@ Man nennt so eine Formel auch *Kontradiktion* oder *Widerspruch*.
Oben haben wir bereits eine Tautologie gesehen.
Eine weitere wäre:
$$
-\begin{array}{c||c||c}
- & A & A \vee \neg A\\
+\begin{array}{c||c}
+ A & A \vee \neg A\\
\hline\hline
- 1 & f & w\\
- 2 & w & w\\
+ f & w\\
+ w & w\\
\end{array}
$$
Diese Tautologie beweist uns gerade den Ausspruch "*Tertium non datur*" ("*Ein Drittes gibt es nicht*", Satz vom ausgeschlossenen Dritten).
Strom fließt oder er fließt nicht - da gibt es nichts dazwischen.
$$
-\begin{array}{c||c||c}
- & A & A \wedge \neg A\\
+\begin{array}{c||c}
+ A & A \wedge \neg A\\
\hline\hline
- 1 & f & f\\
- 2 & w & f\\
+ f & f\\
+ w & f\\
\end{array}
$$
Das ist eine Kontradiktion, sie ist immer falsch.