Es ist merkwürdig, dass die Logik und das logische Denken heute so wenig miteinander zu tun haben. In der modernen Literatur über Logik findet man fast immer die formale Logik, welche die echte Implikation (Schlussfolgerung) ziemlich unmotiviert durch die "materiale Implikation" ersetzen möchte...

Möglicherweise denken wir beim Stichwort „Beweis“ zunächst an den Nachweis der Wahrheit für einen bestimmten Lehrsatz der Mathematik. Dies aber wäre eine verengte Sichtweise. Es gibt nämlich sieben weitere Beweisziele: der Nachweis für die Unwahrheit einer Aussage, für...

Ein bestimmter Vorschlag wird abgelehnt. Ein bestimmter Tatbestand ist nicht gegeben. Die Wahrheitsfrage bezogen auf eine bestimmte Behauptung wird negativ beantwortet. Die Negation einer Aussage brauchen wir, wenn wir einem bestimmten Irrtum respektive Lüge entgegentreten. Viele Signalwörter für die...

Durch die Verknüpfung der Aussagen A, B und C mit Hilfe des Bindeworts „und“ entsteht eine neue Aussage. Diese nennt man „Konjunktion“. Für die Konjunktion schreibt man kurz: (A und B und C). Berichte sind Konjunktionen, wobei das Wort „und“ oft weggelassen...

Hier wieder die aktuelle Ausgabe des KIAS-Kalenders:(Zum Vergrößern auf das Bild klicken.)0! ist 1: das ist einfach eine praktische Konvention, damit zum Beispiel die Formel für die Auswahl von k aus n Elementen auch für k=n stimmt: \(\left(\begin{array}{c}n\\k\end{array}\right)=\frac{n!}{k!(n-k)!}\). Und...