Aussagenlogik
Mathematik
Die Aussagenlogik fragt, ob Schlüsse von gegebenen Prämissen (Ausgangsbehauptungen) korrekt gezogen wurden oder nicht. Die Aussagenlogik trifft keine Entscheidung darüber, ob die Ausgangsbehauptungen wahr sind oder nicht. => Ganzen Artikel lesen …
Eine Gleichung mit Unbekannten
Eine Aussage ist definiert als ein Satz, der entweder wahr ist oder falsch. „Wale sind Fische“ ist eine Aussage (wennauch eine falsche). Auch eine Gleichung ist eine Aussage: 3+4=7 ist eine wahr Aussage. Für eine Gleichung mit einer Unbekannten kann man aber noch nicht einmal theoretisch entscheiden, ob sie wahr ist oder nicht: x+3=10 ist für manche Werte von x falsch für den x-Wert 7 aber wahr. Solche Gleichungen mit Unekannten nennt man deshalb eine Aussageform. Setzt man für das x dann eine konkrete zahl ein, wird daraus eine => Aussage
Beispiele
3=4 ist eine typische mathematische Aussage, wennauch eine falsche. Ein nicht-mathematische Aussage (ebenfalls falsch) wäre: Der Mond ist größer als die die Erde. Hier stehen weitere Beispiele. => Ganzen Artikel lesen …
Archäologie
Schriftlose Zeugnisse
Die Wissenschaft über Menschen mit nicht-schriftlichen Fundstücken: die Wissenschaft vom Altertum. Die Archäologie ist nicht auf einen bestimmten Abschnitt der Geschichte festgelegt sondern auf den Gegenstand ihrer Betrachtungen: nicht- schriftliche Fundstücke. Mit schriftlichen Fundstücken beschäftigt sich die Geschichte. => Ganzen Artikel lesen …
… in der Aussagenlogik die => Implikation
Aussage
Logik
Ein Satz der wahr oder falsch sein kann: ein Pinguin ist immer auch ein Vogel. Ganz egal, ob diese Satz stimmt oder nicht: er kann entweder wahr oder falsch sein. Damit ist er aus logisch-mathematischer Sich eine Aussage [1][2], auch wenn der Wahrheitsgehalt selbst noch nicht geprüft wurde [5]. => Ganzen Artikel lesen …
… in der Aussagenlogik die => Implikation
