Logische Grundlagen des Mathematikunterrichts - Mathematik und ...
Logische Grundlagen des Mathematikunterrichts - Mathematik und ...
Logische Grundlagen des Mathematikunterrichts - Mathematik und ...
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
Logik Rahmenplan <strong>Logische</strong> <strong>Gr<strong>und</strong>lagen</strong> Äquivalenzumformungen Beweise Bedingungen Zum Anfang Quellen<br />
Prädikatenlogik<br />
<strong>Gr<strong>und</strong>lagen</strong><br />
Prädikatenlogik ist ebenfalls eine klassische Logik<br />
Erweiterung der Aussagenlogik betrachten<br />
Prädikatenlogik kann mögliche Variablen mit Hilfe<br />
sogenannter Quantoren quantifizieren<br />
Für uns wichtig an dieser Stelle sind die folgenden Quantoren:<br />
∀ für alle<br />
∃ es existiert<br />
∃! es existiert genau ein<br />
22 / 52