Implikationen SoSe 2017: Unterschied zwischen den Versionen
*m.g.* (Diskussion | Beiträge) (→Beispiel Teilbarkeit von Summen) |
*m.g.* (Diskussion | Beiträge) (→Beispiel Teilbarkeit von Summen) |
||
Zeile 97: | Zeile 97: | ||
==== Beispiel Teilbarkeit von Summen==== | ==== Beispiel Teilbarkeit von Summen==== | ||
Wenn <math>t|a</math> und <math>t|b</math>, dann <math>t|(a+b)</math>.<br /> | Wenn <math>t|a</math> und <math>t|b</math>, dann <math>t|(a+b)</math>.<br /> | ||
− | Voraussetzung <math> | + | Voraussetzung <math>1</math>: <math>t|a</math><br /> |
− | Voraussetzung <math> | + | Voraussetzung <math>2</math>: <math>t|b</math><br /> |
Zusammenfassung zu einer Voraussetzung: <math>t|a \land t|b</math>. | Zusammenfassung zu einer Voraussetzung: <math>t|a \land t|b</math>. | ||
Version vom 7. Mai 2017, 14:03 Uhr
Mathematische AussagenBeispielePrimzahlenEs lassen sich z.B. die folgenden Aussagen zu Primzahlen machen:
Keine Aussage zu Primzahlen ist:
Wichtige Sätze der SchulgeometrieSätze sind Aussagen, die wahr sind. Eine Aussage, die nicht wahr ist, kann demzufolge auch kein Satz sein.
Ergänzen Sie durch eigene Sätze, die Sie noch aus der Schule kennen:
Begriff der AussageEin sauber Definition des Begriffs mathematische Aussage bleibt uns hier versagt, es reichen intuitive Vorstellungen der folgenden Art:
Bei einer mathematischen Aussage setzt man zwei Prinzipien voraus:
Beide Prinzipien zusammengefasst:
Weitere Beispiele und Gegenbeispiele für AussagenErgänzen Sie die folgende Tabelle:
Die Negation einer AussageBeispiele
WahrheitswerttabelleWenn eine Aussage ist, dann ist es üblich, mit die Negation von zu kennzeichnen.
Hinweis: Die LaTex-Syntax für das Zeichen ist \neg. Verknüpfung zweier AussagenDas logische undDie IdeeZwei Aussagen und lassen sich durch ein logisches und zu einer Aussage zusammenfassen. Beispiel Teilbarkeit von SummenWenn und , dann . |