Die Druckversion wird nicht mehr unterstützt und kann Darstellungsfehler aufweisen. Bitte aktualisiere deine Browser-Lesezeichen und verwende stattdessen die Standard-Druckfunktion des Browsers.

aiMOOC

ABI - KI-Begründung und mathematischen Beweis unterscheiden

QR-Code

ABI - KI-Begründung und mathematischen Beweis unterscheiden

Einleitung

Eine KI kann mathematisch klingende Antworten erzeugen, ohne tatsächlich einen Beweis zu liefern. In diesem aiMOOC untersuchst Du deshalb, ob eine Antwort wirklich aus Voraussetzungen logisch zur Behauptung führt oder nur Beispiele, Rechenergebnisse und plausible Sprache liefert.

Leitfrage: Reicht die Begründung für alle behaupteten Fälle – oder wurde nur gezeigt, dass einige Beispiele funktionieren?

Ein mathematischer Beweis besteht nicht darin, dass eine Aussage oft richtig aussieht. Jeder wesentliche Schritt muss aus Definitionen, Voraussetzungen oder bereits gesicherten Sätzen folgen.

Merksatz: Ein Beispiel kann eine allgemeine Aussage oft widerlegen. Einzelne Beispiele können eine allgemeine Aussage aber normalerweise nicht beweisen.

Abiturbezug Baden-Württemberg

Der Kurs richtet sich an die Kursstufe im Fach Mathematik und trainiert besonders das Argumentieren und Beweisen. Basisfach und Leistungsfach bearbeiten dieselbe Grundidee, aber mit unterschiedlicher Tiefe:

Basisfach: verständige Verfahren, anschauliche Argumentation, klare Gegenbeispiele und nachvollziehbare Begründungen.
Leistungsfach: stärkere Formalisierung, präzisere Quantoren, vollständige Beweisketten und vertiefte Modellierung.

Prüfungshinweis: Für Deinen konkreten Prüfungsjahrgang gelten der jeweils aktuelle Bildungsplan, Facherlass und die dort zugelassenen Hilfsmittel. KI, GeoGebra, Lernapps und andere Werkzeuge dieses Kurses sind Übungswerkzeuge und nicht automatisch Prüfungshilfsmittel.

Stand des Kursbezugs: September 2026. Verbindliche Vorgaben prüfst Du vor der Prüfung auf den offiziellen Seiten des Landes Baden-Württemberg.

Bildungspläne Baden-Württemberg

Landesbildungsserver: Prüfungsvorbereitung

Lernziele

Nach diesem aiMOOC kannst Du:

Beweis: erkennen, ob eine Argumentation die Behauptung tatsächlich herleitet.
Gegenbeispiel: eine falsche Allaussage gezielt mit einem Gegenbeispiel widerlegen.
Quantor: zwischen Aussagen über einzelne Werte und Aussagen über alle Werte unterscheiden.
Implikation: Voraussetzungen und Schlussfolgerungen sauber trennen.
KI-Antworten: mathematische Ausgaben kritisch prüfen und fehlende Beweisschritte markieren.
Abiturargumentation: Lösungen nachvollziehbar, knapp und mathematisch belastbar formulieren.

Kurzmodell: Was ist ein Beweis?

Eine Behauptung hat häufig die Form

$A \Rightarrow B$

Dabei ist $A$ die Voraussetzung und $B$ die zu zeigende Aussage.

Ein gültiger Beweis muss zeigen:

$A \Rightarrow S_{1} \Rightarrow S_{2} \Rightarrow \dots \Rightarrow B$

Jeder Übergang braucht einen mathematischen Grund.

Prüffrage an eine KI-Antwort: Wo genau wird aus der Voraussetzung der nächste Schritt hergeleitet?

Vier Prüfsteine

Geltungsbereich: Gilt die Behauptung für einen Wert, einige Werte oder für alle Werte?
Voraussetzungen: Wurden alle Bedingungen benutzt und keine neuen erfunden?
Schlusskette: Ist jeder Rechen- oder Logikschritt gerechtfertigt?
Abschluss: Wurde wirklich die geforderte Behauptung erreicht?

Vorwissen-Check

Beantworte zuerst ohne KI.

Aussage A: Für $x = 2$ gilt $x^{2} > x$ . Ist das ein Beweis für $x^{2} > x$ für alle reellen $x$ ?

Lösung: Nein. Ein einzelner Wert kann keine Allaussage beweisen.

Aussage B: Für $x = \frac{1}{2}$ gilt

${(\frac{1}{2})}^{2} = \frac{1}{4} < \frac{1}{2}$ .

Was folgt daraus für die Behauptung $x^{2} \geq x$ für alle reellen $x$ ?

Lösung: Die Allaussage ist falsch. $x = \frac{1}{2}$ ist ein Gegenbeispiel.

Aussage C: Wenn $a = 2 m$ und $b = 2 n$ mit $m, n \in ℤ$ , dann gilt

$a + b = 2 m + 2 n = 2 (m + n)$ .

Lösung: Das ist der Kern eines vollständigen Beweises dafür, dass die Summe zweier gerader ganzer Zahlen gerade ist.

Interaktives Beispiel 1: Plausible KI-Sprache ist kein Beweis

Behauptung:

$x^{2} \geq x$ für alle $x \in ℝ$ .

Eine KI schreibt:

„Für $x = 0$ , $x = 1$ , $x = 2$ und $x = 10$ stimmt die Ungleichung. Daher gilt sie allgemein.“

Analyse: Die KI hat nur vier Beispiele geprüft. Die Allaussage verlangt aber alle reellen Zahlen.

Wähle:

$x = \frac{1}{2}$

Dann ist

$x^{2} = \frac{1}{4}$

und damit

$\frac{1}{4} < \frac{1}{2}$ .

Also ist die Behauptung falsch.

Graphische Idee: Vergleiche $y = x^{2}$ mit $y = x$ . Zwischen $0$ und $1$ liegt die Parabel unter der Geraden.

Interaktives Beispiel 2: Ein echter kurzer Beweis

Behauptung: Die Summe zweier gerader ganzer Zahlen ist gerade.

Voraussetzung:

$a = 2 m$ und $b = 2 n$ mit $m, n \in ℤ$ .

Rechnung:

$a + b = 2 m + 2 n$

$a + b = 2 (m + n)$

Da $m + n \in ℤ$ , ist $a + b$ durch $2$ teilbar.

Schluss: $a + b$ ist gerade.

Warum ist das mehr als ein Beispiel? $m$ und $n$ stehen für beliebige ganze Zahlen. Der Beweis erfasst damit alle geraden ganzen Zahlen.

Interaktives Beispiel 3: Gegenbeispiel statt langer Beweis

KI-Behauptung: „Wenn an einer Stelle $f^{'} (x) > 0$ gilt, dann ist $f$ auf ganz $ℝ$ streng monoton steigend.“

Betrachte

$f (x) = x^{3} - 3 x$ .

Dann gilt

$f^{'} (x) = 3 x^{2} - 3$ .

Zum Beispiel ist

$f^{'} (2) = 9 > 0$ .

Trotzdem gilt

$f (- 1) = 2$

und

$f (0) = 0$ .

Von $- 1$ nach $0$ fällt die Funktion. Die KI-Aussage ist also falsch.

Fehler: Eine lokale Information an einer Stelle wurde unzulässig zu einer globalen Aussage verallgemeinert.

Interaktives Beispiel 4: Visueller Beweis und logische Lücke

Ein Bild kann eine Beweisidee sichtbar machen. Es ersetzt aber nicht automatisch die Begründung, warum die beobachtete Beziehung für alle zulässigen Fälle gilt.

Denkfrage: Welche geometrischen Eigenschaften bleiben beim Verschieben oder Zerlegen erhalten? Erst diese Begründung macht aus einer Beobachtung eine mathematische Argumentation.

Beispiel 5: Gegenbeispiele dynamisch untersuchen

Ein Gegenbeispiel muss die Voraussetzung erfüllen und gleichzeitig die behauptete Folgerung verletzen.

Schema:

$A$ ist wahr,

aber

$B$ ist falsch.

Dann ist die Behauptung

$A \Rightarrow B$

widerlegt.

Beweisverfahren im Überblick

Für diesen Kurs reichen vier Grundideen:

Direkter Beweis: Von Voraussetzungen schrittweise zur Behauptung.
Gegenbeispiel: Eine Allaussage durch einen passenden Fall widerlegen.
Widerspruchsbeweis: Das Gegenteil annehmen und daraus einen Widerspruch herleiten.
Vollständige Induktion: Aussagen über natürliche Zahlen mit Anfang und Induktionsschritt beweisen.

KI-Prüfraster

Wenn Du eine KI-Antwort erhältst, prüfe in dieser Reihenfolge:

Behauptung markieren: Was soll exakt gelten?
Quantoren markieren: Steht dort „für alle“, „es gibt“, „mindestens“, „genau“?
Voraussetzungen notieren: Welche Bedingungen sind gegeben?
Beweisschritte nummerieren: Woher folgt jeder Schritt?
Gegenbeispiel suchen: Besonders bei sehr allgemeinen Aussagen.
Spezialfälle testen: $0$ , $1$ , negative Werte, Randfälle.
Ergebnis prüfen: Wurde die ursprüngliche Behauptung wirklich erreicht?

Datenschutz: Gib in externe KI-Systeme keine personenbezogenen Daten, Prüfungsdaten anderer Personen oder vertrauliche Dokumente ein.

Übungen mit Hilfen und Feedback

Übung 1: Quadrate

Eine KI behauptet:

„Für jede ganze Zahl $n$ ist $n^{2} + n$ gerade, denn bei $n = 1, 2, 3$ klappt es.“

Aufgabe: Entscheide, ob die Behauptung richtig ist und ob die KI-Begründung genügt.

Hilfe: Faktorisiere $n^{2} + n$ .

Feedback: Die Behauptung ist richtig, aber die Beispielprüfung ist kein Beweis.

$n^{2} + n = n (n + 1)$ .

Von zwei aufeinanderfolgenden ganzen Zahlen ist eine gerade. Daher ist das Produkt gerade.

Übung 2: Ungleichung

Eine KI behauptet:

$x^{2} + 1 > 2 x$ für alle $x \in ℝ$ .

Aufgabe: Prüfe die Aussage.

Hilfe: Bringe alles auf eine Seite.

Feedback:

$x^{2} - 2 x + 1 > 0$

also

$(x - 1)^{2} > 0$ .

Für $x = 1$ gilt aber $(x - 1)^{2} = 0$ . Die strenge Ungleichung ist falsch. Mit $\geq$ wäre die entsprechende Aussage richtig.

Übung 3: Wahrscheinlichkeit

Eine KI schreibt:

$P (A \cup B) = P (A) + P (B)$ .

Aufgabe: Welche Voraussetzung fehlt?

Hilfe: Was passiert, wenn $A = B$ ?

Feedback: Die Formel gilt in dieser Form nur bei disjunkten Ereignissen. Allgemein gilt

$P (A \cup B) = P (A) + P (B) - P (A \cap B)$ .

Übung 4: Ableitung

Eine KI schreibt:

„Weil $f^{'} (0) = 0$ , hat $f$ bei $x = 0$ ein Extremum.“

Aufgabe: Widerlege die Schlussfolgerung.

Feedback: Wähle $f (x) = x^{3}$ . Dann gilt $f^{'} (0) = 0$ , aber bei $x = 0$ liegt kein lokales Extremum vor.

Fehleranalyse

Typische KI-Fehler sind:

Beispiel statt Beweis: Einige Werte werden geprüft und anschließend wird „für alle“ behauptet.
Voraussetzung vergessen: Eine Formel wird ohne notwendige Bedingung verwendet.
Umkehrschluss: Aus $A \Rightarrow B$ wird fälschlich $B \Rightarrow A$ .
Lokales wird global: Eine Eigenschaft an einer Stelle wird auf den ganzen Definitionsbereich übertragen.
Rechenfehler mit überzeugender Sprache: Der Text klingt sicher, obwohl eine Umformung falsch ist.
Zirkelschluss: Die zu beweisende Aussage wird verdeckt bereits vorausgesetzt.

Fehlerdetektiv

Prüfe diese KI-Antwort:

„Alle Primzahlen sind ungerade, denn $3, 5, 7, 11$ sind ungerade.“

Fehler 1: Beispiele beweisen keine Allaussage.

Fehler 2: Die Aussage ist sogar falsch.

Gegenbeispiel:

$2$

ist eine gerade Primzahl.

Selbstkontrolle

Beantworte jede Frage mit Ja oder Nein:

Habe ich die genaue Behauptung notiert?
Habe ich „für alle“ oder „es gibt“ beachtet?
Kann ich jeden Beweisschritt begründen?
Habe ich nach Rand- und Gegenbeispielen gesucht?
Habe ich zwischen numerischer Kontrolle und Beweis unterschieden?
Würde meine Argumentation auch ohne die Formulierung der KI bestehen?

Wenn Du mindestens fünf Fragen mit Ja beantworten kannst, ist Deine Prüfung schon deutlich belastbarer.

Transfer

Übertrage das Prüfraster auf typische Abiturthemen:

Analysis: Reicht $f^{'} (x_{0}) = 0$ für ein Extremum?
Analytische Geometrie: Folgt aus einem Skalarprodukt von $0$ tatsächlich die behauptete Orthogonalität im gegebenen Kontext?
Stochastik: Wurde Unabhängigkeit angenommen oder nachgewiesen?
Funktion: Wird aus wenigen Graphenpunkten unzulässig auf das gesamte Verhalten geschlossen?
Modellierung: Wurde eine Modellannahme mit einer mathematischen Folgerung verwechselt?

Kompetenzcheck

Basisfach: Du solltest eine kurze KI-Begründung prüfen, Fehler benennen, ein Gegenbeispiel finden und eine verständige korrekte Begründung formulieren können.

Leistungsfach: Zusätzlich solltest Du Quantoren präzise verwenden, notwendige und hinreichende Bedingungen unterscheiden und längere Beweisketten formal sauber analysieren können.

Mini-Aufgabe Leistungsfach: Prüfe die Aussage

$\forall x \in ℝ : x^{4} + 1 \geq 2 x^{2}$ .

Lösung:

$x^{4} - 2 x^{2} + 1 \geq 0$

$(x^{2} - 1)^{2} \geq 0$ .

Ein Quadrat ist für alle reellen $x$ nichtnegativ. Damit ist die Aussage bewiesen.

Reflexion

Mathematische Sprache: Welche Formulierung einer KI hat Dich zunächst überzeugt, obwohl ein Beweis fehlte?
Beweisidee: Woran erkennst Du künftig schneller, dass nur Beispiele geprüft wurden?
Gegenbeispiel: Welche einfachen Testwerte sind bei einer neuen Aussage besonders nützlich?
KI-Kompetenz: Welche mathematischen Schritte würdest Du niemals ungeprüft übernehmen?

Folgekurs

Passende Vertiefungen:

Interaktive Aufgaben

Quiz: Teste Dein Wissen

Diesen aiMOOC als Battle spielen

Was reicht aus, um eine Allaussage zu widerlegen? (Ein einziges korrektes Gegenbeispiel) (!Drei passende Beispiele) (!Eine plausible Erklärung) (!Eine numerische Näherung)

Was muss ein mathematischer Beweis leisten? (Die Behauptung aus Voraussetzungen nachvollziehbar herleiten) (!Möglichst viele Beispiele aufzählen) (!Eine lange Erklärung liefern) (!Nur das richtige Endergebnis nennen)

Welche Aussage beschreibt ein Gegenbeispiel zu einer Implikation korrekt? (Die Voraussetzung ist wahr und die Folgerung ist falsch) (!Die Voraussetzung ist falsch und die Folgerung ist wahr) (!Beide Aussagen sind wahr) (!Beide Aussagen werden nur geschätzt)

Warum beweisen mehrere richtige Zahlenbeispiele normalerweise keine Allaussage? (Weil ungeprüfte Fälle die Aussage noch verletzen können) (!Weil Zahlenbeispiele nie mathematisch sind) (!Weil nur Graphen als Beweise gelten) (!Weil ein Beweis keine Rechnung enthalten darf)

Welche Zahl widerlegt die Behauptung x² ist immer mindestens x für reelle x? (0,5) (!0) (!1) (!2)

Was zeigt die Darstellung a gleich 2m für ganzzahliges m? (Dass a gerade ist) (!Dass a positiv ist) (!Dass a eine Primzahl ist) (!Dass a ungerade ist)

Welche Bedingung fehlt bei der Formel P von A vereinigt B gleich P von A plus P von B? (A und B müssen disjunkt sein) (!A und B müssen gleich sein) (!A muss sicher eintreten) (!B muss unmöglich sein)

Was folgt allein aus f Strich von x null gleich null? (Die Stelle ist zunächst nur eine notwendige Kandidatenstelle für ein inneres Extremum) (!Dort liegt immer ein Maximum) (!Dort liegt immer ein Minimum) (!Die Funktion ist überall konstant)

Was ist beim Prüfen einer KI-Begründung besonders wichtig? (Jeden wesentlichen Schluss mathematisch rechtfertigen) (!Auf die Länge der Antwort achten) (!Nur auf Fachbegriffe achten) (!Die Antwort unverändert übernehmen)

Welche Aussage trifft auf Übungswerkzeuge wie GeoGebra oder KI zu? (Sie sind nicht automatisch zugelassene Prüfungshilfsmittel) (!Sie sind in jeder Abiturprüfung erlaubt) (!Sie ersetzen einen schriftlichen Beweis) (!Sie machen Gegenbeispiele unnötig)

Memory

Beweis	Logische Herleitung einer Behauptung
Gegenbeispiel	Widerlegung einer allgemeinen Aussage
Voraussetzung	Ausgangsbedingung einer Argumentation
Quantor	Kennzeichnung von Aussagen wie für alle oder es gibt
Implikation	Wenn-dann-Beziehung
Zirkelschluss	Behauptung wird verdeckt vorausgesetzt

Drag and Drop

Ordne die richtigen Begriffe zu.	Thema
Gegenbeispiel	Eine Allaussage ist falsch
Direkter Beweis	Voraussetzungen führen schrittweise zur Behauptung
Spezialfall	Prüft nur einen begrenzten Teil der Aussage
Quantor	Kennzeichnet den Geltungsbereich
Widerspruch	Annahme führt zu einer Unmöglichkeit

Kreuzworträtsel

Beweis	Wie heißt eine vollständige logische Herleitung?
Quantor	Wie heißt ein Zeichen oder Wort für den Geltungsbereich einer Aussage?
Beispiel	Wie heißt ein einzelner geprüfter Fall?
Annahme	Wie heißt eine vorausgesetzte Aussage in einer Argumentation?
Schluss	Wie heißt der letzte logische Schritt zur Behauptung?
Widerspruch	Wie heißt eine Unvereinbarkeit, die eine Annahme widerlegen kann?

LearningApps

Lückentext

Offene Aufgaben

Leicht

Gegenbeispiel: Erfinde eine falsche Allaussage über ganze Zahlen und widerlege sie mit einem Gegenbeispiel.
KI-Prüfung: Formuliere drei Fragen, mit denen Du eine mathematische KI-Antwort kontrollierst.
Beispiel und Beweis: Schreibe zu einer wahren Aussage zuerst zwei Beispiele und danach einen echten Beweis.
Fehlersuche: Finde in einer selbst erfundenen KI-Antwort eine bewusst eingebaute logische Lücke.

Standard

Analysis: Erstelle eine falsche Aussage über Ableitungen und widerlege sie mit einer Funktion.
Stochastik: Formuliere eine fehlerhafte Aussage zu Ereignissen und verbessere die fehlende Voraussetzung.
Beweiskette: Zerlege einen kurzen Beweis in mindestens vier nummerierte Schlussfolgerungen.
Erklärvideo: Produziere ein kurzes Video ohne personenbezogene Daten, das „Beispiel versus Beweis“ erklärt.

Schwer

Quantoren: Formuliere eine Aussage mit „für alle“ und „es gibt“ und untersuche, wie sich ihre Verneinung verändert.
Beweisvergleich: Vergleiche einen direkten Beweis und einen Widerspruchsbeweis derselben oder einer verwandten Aussage.
KI-Redaktion: Lass Dir eine mathematische Begründung erzeugen, anonymisiere den Kontext vollständig und kommentiere jeden Schluss auf mathematische Gültigkeit.
Abiturtransfer: Entwickle eine kurze abiturähnliche Aufgabe, in der eine plausible KI-Lösung einen versteckten Argumentationsfehler enthält.

Lernkontrolle

Beweisprüfung: Analysiere eine vorgegebene Argumentation Schritt für Schritt und begründe, welche Übergänge gültig oder ungültig sind.
Gegenbeispielstrategie: Entwickle zu einer falschen Allaussage ein Gegenbeispiel und erkläre, warum genau dieses die Aussage widerlegt.
Modellierung: Unterscheide in einer Sachaufgabe zwischen Modellannahme, Rechnung und mathematischer Folgerung.
Transfer Analysis: Entscheide bei einer Aussage über Extremstellen, welche Bedingungen notwendig und welche hinreichend sind.
Transfer Stochastik: Prüfe eine KI-Formel für Wahrscheinlichkeiten und ergänze fehlende Voraussetzungen.
Argumentationsqualität: Überarbeite eine plausible, aber lückenhafte Lösung so, dass eine nachvollziehbare Beweiskette entsteht.

Lernnachweis

Für einen Lernnachweis solltest Du zeigen können, dass Du:

eine mathematische Behauptung präzise formulierst,
Voraussetzungen und Schlussfolgerung unterscheidest,
Quantoren korrekt beachtest,
Beispiele von Beweisen unterscheidest,
ein Gegenbeispiel gezielt einsetzt,
wesentliche Beweisschritte begründest,
typische KI-Fehler erkennst,
im Basisfach verständig argumentierst,
im Leistungsfach zusätzlich formal präzise begründest,
digitale Werkzeuge kritisch einordnest.

OERs zum Thema

Freie und interaktive Medien

Verknüpfte Lernbereiche

Mathematisches Argumentieren

aiMOOC-Projekte

Frag mich zum aktuellen Lerninhalt oder wähle eine kurze Hilfe.

Textmodus bereit

Sprache