Die britischen Mathematiker George Boole und Augustus De Morgan haben sich in der Mitte des 19. Jahrhunderts verdient gemacht. Heute ist das, was die beiden damals gefunden haben, als symbolische oder moderne Logik bekannt. In den darauf folgenden Jahren haben viele andere Mathematiker diese Logik weiter erforscht.
Das heute bekannte logische System führt Symbole für ganze Sätze (so genannte Aussagen) und ihre Bindeglieder (z.B. und, oder...) ein.
Falls du eindeutig entscheiden kannst, ob ein Satz wahr oder falsch ist, wird dieser Satz "Aussage" genannt. Persönliche Meinungen sind nicht eindeutig. Daher kann eine persönliche Meinung nie eine Aussage im mathematischen Sinne sein.
Phantasie ist wichtiger als , denn Wissen begrenzt.
wahroder f für
falschhinter die jeweilige Aussage.
Du kannst zwei Aussagen miteinander verbinden. Es entsteht dann wieder eine neue Aussage. Es gibt vier verschiedene Möglichkeiten Aussagen miteinander zu verbinden:
Und-Verknüpfung
Oder-Verknüpfung
Daraus folgt
Äquivalenz
Ein Beispiel:
A: 55 ist ein Vielfaches von 11.
B: 6 ist eine ungerade Zahl
A | B | A und B | A oder B | Aus A folgt B | A ist gleich B |
---|---|---|---|---|---|
w | f | f | w | f | f |
Sie nutzen einen Browser mit dem tutory.de nicht einwandfrei funktioniert. Bitte aktualisieren Sie Ihren Browser.
Sie verwenden eine ältere Version Ihres Browsers. Es ist möglich, dass tutory.de mit dieser Version nicht einwandfrei funktioniert. Um tutory.de optimal nutzen zu können, aktualisieren Sie bitte Ihren Browser oder installieren Sie einen dieser kostenlosen Browser: