From c75b493354fa345e9161a7bf0d0c16f02dd4bd81 Mon Sep 17 00:00:00 2001 From: Niklas Date: Sun, 11 Sep 2022 15:14:53 +0200 Subject: [PATCH] Change explaining sentence of tautology "Tertium non datur" --- docs/mathematik/mengenlehre/1_logik.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/mathematik/mengenlehre/1_logik.md b/docs/mathematik/mengenlehre/1_logik.md index dabfa95..2202262 100644 --- a/docs/mathematik/mengenlehre/1_logik.md +++ b/docs/mathematik/mengenlehre/1_logik.md @@ -231,7 +231,7 @@ $$ \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. +"Es gilt oder es gilt nicht" ist also eine immer wahre Aussage, da gibt es nichts dazwischen. $$ \begin{array}{c||c}