Aktivität 01
Paararbeit: Satz zu Formel
Teilen Sie Sätze aus der Philosophie aus, z. B. 'Einige Tiere sind rational'. Paare übersetzen sie in Prädikatenlogik mit Quantoren und Relationen, diskutieren Varianten und prüfen gegenseitig. Abschluss: Plenum präsentiert eine Formel.
Erklären Sie die Funktion von Allquantor und Existenzquantor in der Prädikatenlogik.
ModerationstippGeben Sie den Paaren konkrete Gegenbeispiele vor, die sie in der Satz-zu-Formel-Übung testen müssen, um die Bedeutung von ∀ und ∃ zu vergleichen.
Worauf zu achten istGeben Sie den Schülerinnen und Schülern drei einfache Sätze in natürlicher Sprache, z.B. 'Alle Katzen sind Säugetiere.', 'Es gibt einen roten Ball.', 'Einige Schüler mögen Pizza.' Bitten Sie sie, die Sätze mithilfe von Prädikaten und Quantoren zu formalisieren und die verwendete Domäne anzugeben.
AnalysierenBewertenErschaffenEntscheidungsfähigkeitSelbststeuerungBeziehungsfähigkeit
Komplette Unterrichtsstunde erstellen→· · ·
Aktivität 02
Lernen an Stationen: Quantoren-Tests
Richten Sie Stationen ein: 1. ∀-Beispiele konstruieren, 2. ∃-Gegensätze bilden, 3. Relationen in Argumenten einbauen, 4. Formeln evaluieren. Gruppen rotieren, notieren Ergebnisse und teilen im Plenum.
Konstruieren Sie prädikatenlogische Formeln zur Darstellung komplexer Aussagen und Argumente.
ModerationstippPlatzieren Sie an jeder Station je ein Beispiel für eine symmetrische und eine asymmetrische Relation, um den Unterschied direkt erfahrbar zu machen.
Worauf zu achten istStellen Sie den Schülerinnen und Schülern die Aussage 'Für jede Zahl x gilt: Wenn x größer als 5 ist, dann ist x größer als 3.' vor. Bitten Sie sie, diese Aussage in prädikatenlogischer Notation zu schreiben und zu erklären, warum die Aussagenlogik hierfür nicht ausreicht.
ErinnernVerstehenAnwendenAnalysierenSelbststeuerungBeziehungsfähigkeit
Komplette Unterrichtsstunde erstellen→· · ·
Aktivität 03
Whole Class: Argument-Analyse
Projektieren Sie ein philosophisches Argument. Die Klasse zerlegt es gemeinsam in Prädikate und Quantoren, stimmt über Formeln ab und diskutiert Vorteile der Prädikatenlogik.
Analysieren Sie die Vorteile der Prädikatenlogik gegenüber der Aussagenlogik bei der Darstellung von Argumenten.
ModerationstippFordern Sie die Gruppen bei der Argument-Analyse auf, ihre prädikatenlogische Formalisierung laut vorzulesen, um unklare Stellen sofort zu identifizieren.
Worauf zu achten istTeilen Sie die Klasse in Kleingruppen auf. Geben Sie jeder Gruppe eine kurze Argumentation (z.B. einen einfachen Syllogismus). Bitten Sie die Gruppen, das Argument zuerst in Aussagenlogik zu übersetzen und die Grenzen aufzuzeigen, und dann eine prädikatenlogische Formalisierung zu entwickeln, die die Struktur des Arguments besser erfasst.
AnalysierenBewertenErschaffenEntscheidungsfähigkeitSelbststeuerungBeziehungsfähigkeit
Komplette Unterrichtsstunde erstellen→· · ·
Aktivität 04
Individual: Formel-Quiz
Schüler erhalten Karten mit Sätzen, formulieren allein Prädikatenlogik-Formeln und tauschen zur Korrektur. Danach besprechen schwierige Fälle.
Erklären Sie die Funktion von Allquantor und Existenzquantor in der Prädikatenlogik.
ModerationstippLassen Sie im Formel-Quiz bewusst Sätze mit impliziten Quantoren formulieren, um die Notwendigkeit der expliziten Angabe zu verdeutlichen.
Worauf zu achten istGeben Sie den Schülerinnen und Schülern drei einfache Sätze in natürlicher Sprache, z.B. 'Alle Katzen sind Säugetiere.', 'Es gibt einen roten Ball.', 'Einige Schüler mögen Pizza.' Bitten Sie sie, die Sätze mithilfe von Prädikaten und Quantoren zu formalisieren und die verwendete Domäne anzugeben.
AnalysierenBewertenErschaffenEntscheidungsfähigkeitSelbststeuerungBeziehungsfähigkeit
Komplette Unterrichtsstunde erstellen→Einige Hinweise zum Unterrichten dieser Einheit
Erfahrene Lehrkräfte beginnen mit einfachen Beispielen aus dem Alltag der Schülerinnen und Schüler, z.B. 'Alle Schüler in dieser Klasse tragen Schuhe.', bevor sie zu abstrakteren mathematischen Relationen übergehen. Wichtig ist, sofort auf falsche Formalisierungen einzugehen, etwa durch Gegenbeispiele, und die Bedeutung der Domäne zu betonen. Vermeiden Sie es, Quantoren isoliert zu erklären, ohne sie direkt anzuwenden. Forschung zeigt, dass das eigene Scheitern und Korrigieren den Lerneffekt deutlich erhöht.
Erfolg zeigt sich darin, dass Lernende selbstständig komplexe Sätze in prädikatenlogische Formeln überführen und die Grenzen der Aussagenlogik erkennen. Sie können Quantoren korrekt anwenden und Relationen als Prädikate modellieren, ohne die Reihenfolge zu verwechseln.
Vorsicht vor diesen Fehlvorstellungen
During Paararbeit: Satz zu Formel, watch for Schüler, die ∀x P(x) als 'manche x haben P' interpretieren.
Fordern Sie die Paare auf, zu einem gegebenen Beispiel (z.B. 'Alle Vögel können fliegen') ein Gegenbeispiel zu finden, um die Bedeutung von 'alle' zu klären. Weisen Sie explizit auf die Domäne hin, z.B. 'im Definitionsbereich der Vögel'.
During Stationen: Quantoren-Tests, watch for Schüler, die die Reihenfolge von ∀ und ∃ für beliebig vertauschbar halten.
Lassen Sie die Schüler an einer Station zwei konkrete Sätze formalisieren: 'Für jede Zahl gibt es eine größere' vs. 'Es gibt eine Zahl, die größer ist als alle anderen'. Die Falsifikation durch Beispiele zeigt den Unterschied sofort.
During Stationen: Quantoren-Tests, watch for Schüler, die Relationen nur als binär und symmetrisch annehmen.
Geben Sie an einer Station eine transitive, aber nicht symmetrische Relation vor (z.B. 'ist Vorfahre von') und lassen Sie die Schüler die Eigenschaften prüfen und Beispiele nennen.
In dieser Übersicht verwendete Methoden