Glanz: aiMOOC über GPT aiMOOC Action erstellt

2026-09-28T21:46:04Z

aiMOOC über GPT aiMOOC Action erstellt

Neue Seite

{{T}}
'''ABI - Gegenbeispiele gezielt einsetzen'''

Mini-Beschreibung: Widerlege falsche allgemeine mathematische Aussagen mit geeigneten Gegenbeispielen und erkläre, warum ein einzelnes Beispiel eine allgemeine Aussage nicht beweist.

Zielgruppe: Kursstufe, Mathematik-Abitur Baden-Württemberg; gemeinsamer Kurs für Basisfach und Leistungsfach.

{{BR}}
= Einleitung =

Ein einziges passendes Gegenbeispiel kann eine allgemeine Aussage zu Fall bringen. Umgekehrt beweist ein einzelnes passendes Beispiel eine allgemeine Aussage normalerweise nicht.

<math>\neg(\forall x\in D:\,P(x))\iff \exists x\in D:\,\neg P(x)</math>

Dagegen folgt aus

<math>P(a)</math>

für ein einzelnes <math>a</math> noch nicht

<math>\forall x\in D:\,P(x)</math>.

'''Merksatz:''' Ein Gegenbeispiel widerlegt eine Allaussage. Ein einzelnes bestätigendes Beispiel beweist höchstens eine Existenzaussage, aber keine Allaussage.

[[Datei:Image preimage conterexamples.gif|500px|rahmenlos|center]]

Die Grafik zeigt Gegenbeispiele zu naheliegenden, aber nicht allgemein gültigen Aussagen über Bilder und Urbilder von Mengen. Nutze sie als Erinnerung: Eine plausible Skizze ersetzt keine Prüfung der Voraussetzungen.

{{#ev:youtube| https://www.youtube.com/watch?v=eXilubXDqK8 |500|center}}

Das Video zeigt an Vektorraum-Beispielen, wie man zwischen Beweis und Gegenbeispiel unterscheidet.

{{BR}}
== Lernziele ==

Nach diesem aiMOOC kannst Du:
# [[Allaussage|Allaussagen]] formal erkennen und gezielt negieren.
# ein Gegenbeispiel so wählen, dass alle Voraussetzungen erfüllt sind und die Behauptung scheitert.
# Gegenbeispiele aus [[Analysis]], [[Analytische Geometrie]] und [[Stochastik]] nachvollziehbar prüfen.
# erklären, warum ein einzelnes bestätigendes Beispiel keinen allgemeinen Beweis liefert.
# digitale Werkzeuge und KI-Ausgaben als Kontrolle nutzen, Ergebnisse aber mathematisch eigenständig prüfen.
# im Basisfach anschaulich argumentieren und im Leistungsfach zusätzlich Quantoren, Bedingungen und Gegenbeweis formal sauber verwenden.

{{BR}}
== Abitur Baden-Württemberg: Prüfungsbezug 2027 ==

Dieser Kurs orientiert sich am Prüfungsjahrgang 2027, Facherlass Stand 9. September 2025. Im Leistungsfach umfasst die schriftliche Prüfung Analysis, Analytische Geometrie und Stochastik; Teil A wird ohne Formeldokument und wissenschaftlichen Taschenrechner bearbeitet, nach spätestens 110 Minuten abgegeben und anschließend folgt Teil B mit den zugelassenen Hilfsmitteln. Die Gesamtbearbeitungszeit beträgt 300 Minuten einschließlich Auswahlzeit.

Im Basisfach ist Mathematik mündliches Prüfungsfach. Die Prüfung verbindet Analysis mit Analytischer Geometrie oder Stochastik, umfasst einen etwa zehnminütigen Vortrag nach etwa 20 Minuten Vorbereitung und ein anschließendes etwa zehnminütiges Prüfungsgespräch. Beide Prüfungsteile sind hilfsmittelfrei.

'''Wichtig:''' GeoGebra, LearningApps, Videos und KI sind Übungswerkzeuge. Sie sind nicht automatisch zugelassene Prüfungshilfsmittel. Prüfe für Deinen Prüfungsjahrgang stets den aktuellen Facherlass und die Hinweise Deiner Schule.

[https://km.baden-wuerttemberg.de/de/schule/gymnasium/termine-und-informationen-zum-abitur Offizielle Informationen zum Abitur in Baden-Württemberg]

{{BR}}
= Vorwissen-Check =

Prüfe Dich ohne Hilfsmittel.

# Kannst Du den Unterschied zwischen <math>\forall</math> und <math>\exists</math> erklären?
# Kannst Du einen Funktionswert, eine Ableitung und ein Skalarprodukt berechnen?
# Kannst Du zwei Vektoren auf Parallelität prüfen?
# Kannst Du bei Ereignissen <math>P(A\cap B)</math> und <math>P(A)\cdot P(B)</math> vergleichen?
# Kannst Du eine Behauptung in Voraussetzungen und Schluss zerlegen?

<div class="mw-collapsible mw-collapsed">
'''Kurzlösung anzeigen'''
# <math>\forall</math> bedeutet „für alle“, <math>\exists</math> bedeutet „es gibt mindestens ein“.
# Bei einem Gegenbeispiel müssen zuerst alle Voraussetzungen erfüllt sein.
# Parallelität verlangt bei geeigneten Vektoren einen gemeinsamen Skalarfaktor.
# Unabhängigkeit verlangt <math>P(A\cap B)=P(A)\cdot P(B)</math>.
# Eine Behauptung der Form „Wenn A, dann B“ wird widerlegt durch einen Fall mit A wahr und B falsch.
</div>

{{BR}}
= Grundidee: Was ein Gegenbeispiel leisten muss =

Betrachte die falsche Aussage:

<math>\forall x\in\mathbb{R}:\;x^2\ge x</math>.

Das Beispiel <math>x=2</math> bestätigt die Aussage:

<math>2^2=4\ge2</math>.

Aber daraus folgt nichts für alle reellen Zahlen.

Ein Gegenbeispiel ist

<math>x=\frac12</math>,

denn

<math>\left(\frac12\right)^2=\frac14<\frac12</math>.

Damit ist die Allaussage widerlegt.

'''Strategie:''' Suche zuerst nach einfachen Sonderfällen: <math>0</math>, <math>1</math>, negative Werte, Brüche, Randfälle, Symmetrien, Einheitsvektoren oder kleine Ergebnisräume.

{{BR}}
== Visueller Test mit Funktionsgraphen ==

[[Datei:Graph of x squared.svg|500px|rahmenlos|center]]

Vergleiche <math>y=x^2</math> mit <math>y=x</math>. Die Aussage <math>x^2\ge x</math> scheitert genau dort, wo der Parabelgraph unter der Geraden liegt.

<iframe> https://www.geogebra.org/graphing </iframe>

'''Arbeitsauftrag:''' Zeichne <math>f(x)=x^2</math> und <math>g(x)=x</math>. Nutze den Schnitt der Graphen, um einen Bereich für Gegenbeispiele zu finden. Bestätige anschließend rechnerisch einen konkreten Wert.

{{BR}}
= Interaktive Beispiele =

{{BR}}
== Beispiel 1: Analysis – notwendige Bedingung ist nicht hinreichend ==

'''Falsche Aussage:''' Wenn <math>f'(x_0)=0</math>, dann besitzt <math>f</math> bei <math>x_0</math> eine Extremstelle.

Wähle

<math>f(x)=x^3</math>.

Dann gilt

<math>f'(x)=3x^2</math>

und damit

<math>f'(0)=0</math>.

Trotzdem ist <math>x_0=0</math> keine Extremstelle, denn <math>f</math> ist in einer Umgebung von <math>0</math> streng steigend.

<div class="mw-collapsible mw-collapsed">
'''Schritt-für-Schritt-Kontrolle'''
# Voraussetzung prüfen: <math>f'(0)=0</math>.
# Werte links prüfen: <math>f(-1)=-1</math>.
# Wert im Kandidaten: <math>f(0)=0</math>.
# Werte rechts prüfen: <math>f(1)=1</math>.
# Schluss: Kein lokales Maximum und kein lokales Minimum.
</div>

'''Feedback:''' Das Gegenbeispiel greift die Behauptung nicht irgendwo an, sondern erfüllt bewusst die Voraussetzung <math>f'(x_0)=0</math>.

{{BR}}
== Beispiel 2: Analysis – zweite Ableitung ==

'''Falsche Aussage:''' Aus <math>f''(x_0)=0</math> folgt immer eine Wendestelle.

Wähle

<math>f(x)=x^4</math>.

Dann ist

<math>f''(x)=12x^2</math>

und somit

<math>f''(0)=0</math>.

Für <math>x\ne0</math> gilt aber

<math>f''(x)>0</math>.

Es gibt keinen Vorzeichenwechsel der Krümmung bei <math>0</math>. Also liegt dort keine Wendestelle vor.

[[Datei:Function x^4.svg|500px|rahmenlos|center]]

'''Leistungsfach:''' Formuliere präzise, welche zusätzliche Bedingung eine Wendestelle sichert, und unterscheide notwendige von hinreichenden Bedingungen.

{{BR}}
== Beispiel 3: Vektoren – gleiche Länge bedeutet nicht parallel ==

'''Falsche Aussage:''' Zwei von Null verschiedene Vektoren mit gleicher Länge sind parallel.

Wähle

<math>\vec a=\begin{pmatrix}1\\0\\0\end{pmatrix}</math>

und

<math>\vec b=\begin{pmatrix}0\\1\\0\end{pmatrix}</math>.

Dann gilt

<math>|\vec a|=|\vec b|=1</math>.

Für Parallelität müsste es ein <math>\lambda\in\mathbb{R}</math> geben mit

<math>\vec a=\lambda\vec b</math>.

Das ist unmöglich. Zusätzlich gilt

<math>\vec a\cdot\vec b=0</math>,

also stehen die Vektoren sogar senkrecht aufeinander.

[[Datei:Vector Addition.svg|500px|rahmenlos|center]]

<iframe> https://www.geogebra.org/3d </iframe>

'''Arbeitsauftrag:''' Lege zwei Einheitsvektoren an und drehe einen davon. Beobachte: Die Länge bleibt gleich, obwohl sich die Richtung ändert.

{{#ev:youtube| https://www.youtube.com/watch?v=R4nJTT60zU8 |500|center}}

{{BR}}
== Beispiel 4: Geraden im Raum – nicht parallel heißt nicht automatisch Schnitt ==

'''Falsche Aussage:''' Zwei Geraden im Raum, die nicht parallel sind, schneiden sich.

Betrachte

<math>g:\vec x=\begin{pmatrix}0\\0\\0\end{pmatrix}+t\begin{pmatrix}1\\0\\0\end{pmatrix}</math>

und

<math>h:\vec x=\begin{pmatrix}0\\1\\1\end{pmatrix}+s\begin{pmatrix}0\\1\\0\end{pmatrix}</math>.

Die Richtungsvektoren sind nicht parallel. Für einen Schnitt müsste gelten:

<math>\begin{pmatrix}t\\0\\0\end{pmatrix}=\begin{pmatrix}0\\1+s\\1\end{pmatrix}</math>.

Die dritte Koordinate würde <math>0=1</math> verlangen. Das ist unmöglich.

'''Ergebnis:''' Die Geraden sind windschief.

'''Feedback:''' Ein gutes Gegenbeispiel zeigt nicht nur „kein Schnitt“, sondern überprüft zugleich, dass die Voraussetzung „nicht parallel“ erfüllt ist.

{{BR}}
== Beispiel 5: Stochastik – gleiche Wahrscheinlichkeit bedeutet nicht unabhängig ==

'''Falsche Aussage:''' Haben zwei Ereignisse dieselbe Wahrscheinlichkeit, dann sind sie unabhängig.

Bei einem fairen Würfel sei

<math>A=\{1,2,3\}</math>

und

<math>B=\{1,2,4\}</math>.

Dann gilt

<math>P(A)=P(B)=\frac12</math>.

Aber

<math>A\cap B=\{1,2\}</math>

und daher

<math>P(A\cap B)=\frac13</math>.

Für Unabhängigkeit müsste gelten

<math>P(A)\cdot P(B)=\frac14</math>.

Da

<math>\frac13\ne\frac14</math>,

sind <math>A</math> und <math>B</math> nicht unabhängig.

[[Datei:Discrete probability distrib.svg|500px|rahmenlos|center]]

'''Basisfach:''' Erkläre den Widerspruch in Worten.

'''Leistungsfach:''' Formuliere das Unabhängigkeitskriterium formal und erkläre, warum gleiche Randwahrscheinlichkeiten dafür nicht genügen.

{{BR}}
== Beispiel 6: Erwartungswert – nicht jeder Erwartungswert ist ein mögliches Ergebnis ==

'''Falsche Aussage:''' Der Erwartungswert einer Zufallsgröße muss als einzelnes Ergebnis auftreten können.

Beim fairen Würfel mit <math>X\in\{1,2,3,4,5,6\}</math> gilt

<math>E(X)=\frac{1+2+3+4+5+6}{6}=3{,}5</math>.

Der Wert <math>3{,}5</math> kann bei einem einzelnen Wurf nicht auftreten.

[[Datei:Binomial distribution.svg|500px|rahmenlos|center]]

'''Merke:''' Der Erwartungswert beschreibt einen langfristigen Mittelwert, nicht zwingend einen möglichen Einzelwert.

{{BR}}
= Gegenbeispiele gezielt finden =

# [[Sonderfall]]: Teste <math>0</math>, <math>1</math>, negative Werte oder einfache Brüche.
# [[Randfall]]: Prüfe Stellen, an denen eine Voraussetzung gerade noch erfüllt ist.
# [[Symmetrie]]: Nutze Vorzeichenwechsel oder achsensymmetrische Funktionen.
# [[Vektor]]: Wähle Einheitsvektoren oder Standardbasisvektoren.
# [[Stochastik]]: Verwende kleine Ergebnisräume, damit Schnittmengen sichtbar bleiben.
# [[Kontrolle]]: Prüfe zuerst die Voraussetzungen und erst dann das Scheitern der Folgerung.

{{BR}}
== Gegenbeispiel oder nur Beispiel? ==

'''Behauptung:''' Jede ganzrationale Funktion dritten Grades hat mindestens eine reelle Nullstelle.

Das Beispiel <math>f(x)=x^3</math> hat eine Nullstelle. Es beweist die allgemeine Aussage nicht.

Für einen Beweis braucht man eine allgemeine Argumentation, die für jede Funktion dritten Grades gilt. Ein einzelner Spezialfall reicht nicht.

'''Denkfrage:''' Warum kann dagegen ein einziges Gegenbeispiel genügen, um eine Allaussage zu widerlegen?

<div class="mw-collapsible mw-collapsed">
'''Feedback'''
Eine Allaussage behauptet, dass kein Ausnahmefall existiert. Sobald Du einen einzigen gültigen Ausnahmefall gefunden hast, ist genau diese Behauptung falsch.
</div>

{{BR}}
= Fehleranalyse =

{{BR}}
== Fehler 1: Voraussetzung nicht geprüft ==

Behauptung: „Wenn eine Funktion an <math>x_0</math> differenzierbar ist und <math>f'(x_0)=0</math>, dann liegt dort ein Extremum.“

Ein Lernender nennt <math>f(x)=|x|</math> bei <math>x_0=0</math> als Gegenbeispiel.

'''Fehler:''' <math>f</math> ist bei <math>0</math> nicht differenzierbar. Das Beispiel erfüllt die Voraussetzung nicht.

'''Besser:''' <math>f(x)=x^3</math>.

{{BR}}
== Fehler 2: Nur ein bestätigendes Beispiel ==

Behauptung: „Für alle <math>x>0</math> gilt <math>x+\frac1x\ge2</math>.“

Der Nachweis

<math>1+\frac11=2</math>

ist kein allgemeiner Beweis.

'''Feedback:''' Für eine Allaussage brauchst Du eine allgemeine Begründung, etwa über eine bekannte Ungleichung oder eine geeignete Umformung.

{{BR}}
== Fehler 3: Rechner oder KI als Beweisersatz ==

Ein digitales System prüft 100 Werte und findet kein Gegenbeispiel.

Daraus folgt nicht, dass die Aussage für alle Werte gilt.

'''Merksatz:''' Numerische Tests können Gegenbeispiele finden. Sie ersetzen bei unendlich vielen Fällen keinen Beweis.

Bei KI-Ausgaben gilt zusätzlich: Prüfe Voraussetzungen, Rechenwege und Schlussfolgerungen selbst. Gib keine personenbezogenen Daten ein.

{{BR}}
= Selbstkontrolle =

Ordne jeder Aussage zu: „allgemein beweisen“, „durch Gegenbeispiel widerlegen“ oder „durch ein Beispiel beweisbar“.

# „Es gibt eine reelle Zahl <math>x</math> mit <math>x^2=9</math>.“
# „Für alle reellen Zahlen gilt <math>x^2\ge0</math>.“
# „Jede Funktion mit <math>f'(0)=0</math> hat bei <math>0</math> ein Extremum.“
# „Es gibt zwei gleich lange, nicht parallele Vektoren.“
# „Gleiche Ereigniswahrscheinlichkeiten erzwingen Unabhängigkeit.“

<div class="mw-collapsible mw-collapsed">
'''Lösung'''
# Durch ein Beispiel beweisbar, etwa <math>x=3</math>.
# Allgemein beweisen.
# Durch Gegenbeispiel widerlegen, etwa <math>f(x)=x^3</math>.
# Durch ein Beispiel beweisbar, etwa zwei verschiedene Einheitsvektoren.
# Durch Gegenbeispiel widerlegen.
</div>

{{BR}}
= Transfer =

'''Transfer A – Funktion:''' Entwickle selbst eine falsche Aussage über Nullstellen, Extremstellen oder Wendestellen und konstruiere ein Gegenbeispiel.

'''Transfer B – Vektoren:''' Verändere ein wahres Kriterium für Parallelität so, dass eine falsche Aussage entsteht. Widerlege sie mit möglichst einfachen Vektoren.

'''Transfer C – Stochastik:''' Erfinde zwei Ereignisse in einem kleinen Ergebnisraum mit gleicher Wahrscheinlichkeit, die nicht unabhängig sind.

'''Transfer D – KI-Prüfung:''' Lass ein KI-System eine allgemeine mathematische Behauptung formulieren. Übernimm sie nicht ungeprüft. Suche systematisch nach einem Gegenbeispiel oder gib eine allgemeine Begründung. Dokumentiere jede Prüfung ohne personenbezogene Daten.

{{BR}}
= Kompetenzcheck =

Du bist sicher, wenn Du diese vier Schritte ohne Hilfe durchführen kannst:

# '''Aussage strukturieren:''' Was ist Voraussetzung, was ist Folgerung?
# '''Quantor erkennen:''' Handelt es sich um „für alle“ oder „es gibt“?
# '''Gegenbeispiel prüfen:''' Sind alle Voraussetzungen erfüllt?
# '''Schluss formulieren:''' Welche konkrete Rechnung widerlegt die Behauptung?

'''Basisfach:''' Du erläuterst die Logik anschaulich und verständlich.

'''Leistungsfach:''' Du formulierst zusätzlich formal, zum Beispiel

<math>\neg(\forall x\in D:\,P(x))\iff\exists x\in D:\,\neg P(x)</math>

und unterscheidest notwendige, hinreichende und äquivalente Bedingungen.

{{BR}}
= Reflexion =

# Welche Gegenbeispiel-Strategie funktioniert bei Dir am schnellsten?
# Bei welcher Art von Aussage verwechselst Du häufig notwendige und hinreichende Bedingungen?
# Wann hilft eine Skizze, und wann brauchst Du zwingend eine Rechnung?
# Wie kannst Du verhindern, dass ein Rechnerfund oder eine KI-Antwort vorschnell als Beweis gilt?

{{BR}}
= Folgekurs =

Als nächstes eignet sich [[ABI - Beweise strukturiert aufbauen]] oder ein Vertiefungskurs zu [[Notwendige und hinreichende Bedingung|notwendigen und hinreichenden Bedingungen]]. Für die Prüfungsvorbereitung kannst Du außerdem die drei Bereiche [[Analysis]], [[Analytische Geometrie]] und [[Stochastik]] getrennt mit Gegenbeispiel-Aufgaben trainieren.

{{BR}}
= Medien und interaktive Modelle =

[[Datei:Bernoulli trial progression.svg|500px|rahmenlos|center]]

Die Grafik visualisiert Wahrscheinlichkeitsentwicklungen bei wiederholten Bernoulli-Versuchen. Nutze solche Diagramme, um Vermutungen zu erzeugen, nicht um allgemeine Aussagen allein aus einem Bild zu beweisen.

{{#ev:youtube| https://www.youtube.com/watch?v=6m34Mke0q_8 |500|center}}

Das Video behandelt Beweis- oder Gegenbeispiel-Fragen bei linearen Abbildungen und eignet sich als Leistungsfach-Vertiefung.

<iframe> https://www.geogebra.org/classic </iframe>

'''Interaktives Labor:'''
# Funktionen: Suche graphisch einen Bereich, in dem eine Allaussage scheitert, und bestätige ein konkretes Gegenbeispiel rechnerisch.
# 3D-Geometrie: Erzeuge zwei nicht parallele Geraden ohne Schnittpunkt.
# Stochastik: Nutze den Wahrscheinlichkeitsrechner zur Kontrolle von Verteilungen, begründe Unabhängigkeit aber über die passende Gleichung.

'''Medienhinweis:''' Die eingebundenen Grafiken stammen von Wikimedia Commons; Urheberschaft und freie Lizenz sind auf den jeweiligen Dateiseiten dokumentiert. YouTube- und GeoGebra-Inhalte werden nur eingebettet. Prüfe bei Weiterverwendung die jeweiligen Lizenz- und Datenschutzangaben.

{{BR}}
= Interaktive Aufgaben =

{{BR}}
== Quiz: Teste Dein Wissen ==

{{MC}}

'''Welche Aussage beschreibt die Rolle eines Gegenbeispiels korrekt?'''
(Ein gültiges Gegenbeispiel widerlegt eine Allaussage)
(!Ein Gegenbeispiel beweist jede Existenzaussage)
(!Ein Gegenbeispiel ersetzt jede Rechnung)
(!Ein Gegenbeispiel muss viele Fälle enthalten)

{{E}}
<br>

{{MC}}

'''Was musst Du bei einem Gegenbeispiel zuerst prüfen?'''
(Ob alle Voraussetzungen der Behauptung erfüllt sind)
(!Ob der Zahlenwert möglichst groß ist)
(!Ob ein Taschenrechner benutzt wurde)
(!Ob das Beispiel aus einem Diagramm stammt)

{{E}}
<br>

{{MC}}

'''Welche Funktion widerlegt die Aussage f Strich von x null gleich null bedeutet immer Extremstelle?'''
(f von x gleich x hoch drei)
(!f von x gleich x hoch zwei)
(!f von x gleich minus x hoch zwei)
(!f von x gleich x hoch vier plus eins)

{{E}}
<br>

{{MC}}

'''Warum beweist x gleich zwei die Aussage x Quadrat größer gleich x nicht allgemein?'''
(Weil ein einzelner bestätigender Wert keine Allaussage beweist)
(!Weil zwei keine reelle Zahl ist)
(!Weil Quadrate nie positiv sind)
(!Weil man nur negative Werte prüfen darf)

{{E}}
<br>

{{MC}}

'''Welche Bedingung kennzeichnet parallele von Null verschiedene Vektoren?'''
(Ein Vektor ist ein skalares Vielfaches des anderen)
(!Die Vektoren haben dieselbe Länge)
(!Das Skalarprodukt ist immer null)
(!Die erste Komponente stimmt überein)

{{E}}
<br>

{{MC}}

'''Was zeigt bei zwei nicht parallelen Geraden im Raum ein Widerspruch im Gleichungssystem?'''
(Die Geraden haben keinen gemeinsamen Punkt)
(!Die Geraden sind automatisch parallel)
(!Die Geraden sind identisch)
(!Die Richtungsvektoren sind null)

{{E}}
<br>

{{MC}}

'''Welches Kriterium prüft die Unabhängigkeit zweier Ereignisse?'''
(P von A Schnitt B gleich P von A mal P von B)
(!P von A gleich P von B)
(!P von A plus P von B gleich eins)
(!P von A Schnitt B gleich null)

{{E}}
<br>

{{MC}}

'''Was zeigt der Erwartungswert drei Komma fünf beim fairen Würfel?'''
(Ein Erwartungswert muss kein mögliches Einzelergebnis sein)
(!Jeder Wurf ergibt drei Komma fünf)
(!Der Würfel ist nicht fair)
(!Nur ganze Erwartungswerte sind erlaubt)

{{E}}
<br>

{{MC}}

'''Welche logische Form ist die Negation einer Allaussage?'''
(Es existiert mindestens ein Fall in dem die Aussage nicht gilt)
(!Die Aussage gilt für keinen Fall)
(!Die Aussage gilt für genau zwei Fälle)
(!Die Aussage gilt für fast alle Fälle)

{{E}}
<br>

{{MC}}

'''Welche Aussage zu digitalen Werkzeugen ist korrekt?'''
(Sie können beim Finden und Prüfen helfen ersetzen aber keinen allgemeinen Beweis)
(!Hundert getestete Werte beweisen jede Allaussage)
(!Eine KI Antwort gilt automatisch als Beweis)
(!Ein Graph ersetzt immer die algebraische Begründung)

{{E}}
<br>

{{BR}}
== Memory ==

<div class="memo-quiz">
{|
|-
| Allaussage || Gegenbeispiel kann sie widerlegen
|-
| Existenzaussage || Ein passendes Beispiel kann genügen
|-
| Stationäre Stelle || Erste Ableitung ist null
|-
| Parallelität || Skalares Vielfaches
|-
| Unabhängigkeit || Produktregel für Ereignisse
|-
| Erwartungswert || Langfristiger Mittelwert
|}
{{E}}
<br>

{{BR}}
== Drag and Drop ==

<div class="lueckentext-quiz">

{| class="wikitable"
! Ordne die richtigen Begriffe zu.
! Thema
|-
| '''Allaussage'''
| Prüfe auf Gegenbeispiel
|-
| '''Voraussetzung'''
| Muss im Gegenbeispiel erfüllt sein
|-
| '''Funktion x hoch drei'''
| Stationäre Stelle ohne Extremum
|-
| '''Einheitsvektoren'''
| Gleiche Länge ohne Parallelität
|-
| '''Würfelereignisse'''
| Gleiche Wahrscheinlichkeit ohne Unabhängigkeit

|}
{{E}}

<br>
<br />

{{BR}}
== Kreuzworträtsel ==

<div class="kreuzwort-quiz">
{|
|-
| Quantor || Welcher Fachbegriff beschreibt Zeichen wie für alle oder es gibt?
|-
| Extremum || Welche Art von Stelle folgt nicht allein aus einer verschwindenden ersten Ableitung?
|-
| Parallel || Wie heißen Vektoren, wenn einer ein skalares Vielfaches des anderen ist?
|-
| Windschief || Wie heißen nicht parallele Geraden im Raum ohne Schnittpunkt?
|-
| Schnittmenge || Welcher Begriff gehört zu A geschnitten B?
|-
| Erwartungswert || Welcher Kennwert kann beim Würfel den Wert drei Komma fünf haben?
|}
{{E}}
<br>

{{BR}}
== LearningApps ==

<iframe> https://learningapps.org/index.php?s=ABI+-+Gegenbeispiele+gezielt+einsetzen </iframe>

{{BR}}
== Lückentext ==

<quiz display=simple>
{'''Vervollständige den Text.'''<br>
|type="{}"}
Eine Aussage mit dem Quantor für alle heißt { Allaussage }. Um sie zu widerlegen genügt ein gültiges { Gegenbeispiel }. Dabei müssen zunächst alle { Voraussetzungen } erfüllt sein. Aus einer verschwindenden ersten Ableitung folgt nicht automatisch ein { Extremum }. Zwei gleich lange Vektoren müssen nicht { parallel } sein. Für unabhängige Ereignisse gilt die Produktbeziehung mit der { Schnittmenge }. Ein einzelnes bestätigendes Beispiel ersetzt keinen allgemeinen { Beweis }.
</quiz>

<br>

{{BR}}
= Übungen mit Hilfen und Feedback =

{{BR}}
== Übung A: Funktion ==

'''Behauptung:''' Jede Funktion mit <math>f''(0)=0</math> hat bei <math>0</math> eine Wendestelle.

'''Auftrag:''' Finde ein Polynom als Gegenbeispiel.

<div class="mw-collapsible mw-collapsed">
'''Hilfe 1'''
Teste gerade Potenzen.
</div>

<div class="mw-collapsible mw-collapsed">
'''Hilfe 2'''
Untersuche <math>f(x)=x^4</math>.
</div>

<div class="mw-collapsible mw-collapsed">
'''Feedback'''
<math>f''(x)=12x^2</math> hat bei <math>0</math> keinen Vorzeichenwechsel. Damit ist <math>f(x)=x^4</math> ein gültiges Gegenbeispiel.
</div>

{{BR}}
== Übung B: Vektoren ==

'''Behauptung:''' Wenn <math>\vec a\cdot\vec b=0</math>, dann haben <math>\vec a</math> und <math>\vec b</math> dieselbe Länge.

<div class="mw-collapsible mw-collapsed">
'''Hilfe'''
Wähle zwei Achsenrichtungen mit unterschiedlichen Längen.
</div>

<div class="mw-collapsible mw-collapsed">
'''Feedback'''
Zum Beispiel

<math>\vec a=\begin{pmatrix}2\\0\\0\end{pmatrix}</math>,
<math>\vec b=\begin{pmatrix}0\\1\\0\end{pmatrix}</math>.

Dann ist <math>\vec a\cdot\vec b=0</math>, aber <math>|\vec a|=2</math> und <math>|\vec b|=1</math>.
</div>

{{BR}}
== Übung C: Stochastik ==

'''Behauptung:''' Wenn <math>P(A)=P(B)</math>, dann gilt <math>A=B</math>.

<div class="mw-collapsible mw-collapsed">
'''Hilfe'''
Nutze einen fairen Würfel und wähle zwei verschiedene Ereignisse mit gleich vielen Ergebnissen.
</div>

<div class="mw-collapsible mw-collapsed">
'''Feedback'''
Zum Beispiel <math>A=\{1,2\}</math> und <math>B=\{5,6\}</math>. Beide haben Wahrscheinlichkeit <math>\frac13</math>, sind aber verschiedene Ereignisse.
</div>

{{BR}}
= Offene Aufgaben =

{{BR}}
=== Leicht ===
# [[Gegenbeispiel-Sammlung]]: Erstelle zu fünf falschen Allaussagen jeweils ein möglichst einfaches Gegenbeispiel.
# [[Graphische Kontrolle]]: Zeichne zwei Funktionen, bei denen eine vermutete Ungleichung nur auf einem Teil des Definitionsbereichs gilt, und markiere einen Gegenbeispielbereich.
# [[Vektor-Paare]]: Konstruiere drei Paare gleich langer Vektoren, die nicht parallel sind, und prüfe jedes Paar rechnerisch.
# [[Würfelereignisse]]: Erfinde zwei verschiedene Ereignisse mit gleicher Wahrscheinlichkeit und stelle sie als Mengen dar.

{{BR}}
=== Standard ===
# [[Fehlerdiagnose]]: Analysiere drei vorgegebene „Gegenbeispiele“ und entscheide jeweils, ob wirklich alle Voraussetzungen erfüllt sind.
# [[Stationär ohne Extremum]]: Finde zwei verschiedene Funktionen mit <math>f'(0)=0</math>, aber ohne Extremstelle bei <math>0</math>, und vergleiche ihre Graphen.
# [[Windschiefe Geraden]]: Konstruiere zwei Geraden im Raum, die weder parallel sind noch einen Schnittpunkt besitzen, und belege beides rechnerisch.
# [[Unabhängigkeit]]: Entwickle einen kleinen Ergebnisraum mit zwei Ereignissen gleicher Wahrscheinlichkeit, die abhängig sind, und prüfe die Produktbedingung.

{{BR}}
=== Schwer ===
# [[Quantoren umformen]]: Formuliere fünf mathematische Allaussagen und jeweils ihre exakte logische Negation.
# [[Bedingungen analysieren]]: Wähle ein Kriterium aus Analysis oder Vektorgeometrie und unterscheide notwendige und hinreichende Bedingung mit Beispiel und Gegenbeispiel.
# [[KI-Prüfprotokoll]]: Lass eine KI drei mathematische Allaussagen erzeugen. Prüfe jede Aussage selbst, dokumentiere Gegenbeispiel oder Beweisidee und kennzeichne Fehler der KI. Verwende keine personenbezogenen Daten.
# [[Abitur-Transfer]]: Entwirf eine kurze mündliche Prüfungsaufgabe, in der eine falsche Aussage aus Analysis mit einer zweiten Aufgabe aus Geometrie oder Stochastik verbunden wird. Ergänze Erwartungshorizont und typische Fehlvorstellung.

{{:Offene Aufgabe - MOOC erstellen}}

{{BR}}
= Lernkontrolle =

# [[Begründung statt Probe]]: Erkläre an einem selbst gewählten Beispiel, warum fünf bestätigende Werte eine Allaussage nicht beweisen, aber ein einziger Gegenfall sie widerlegt.
# [[Voraussetzungen prüfen]]: Eine Person nutzt <math>f(x)=|x|</math> bei <math>0</math> als Gegenbeispiel zur Aussage „Aus <math>f'(0)=0</math> folgt ein Extremum“. Analysiere präzise, warum dieses Gegenbeispiel ungültig ist, und ersetze es durch ein gültiges.
# [[Darstellungswechsel]]: Widerlege die Aussage <math>x^2\ge x</math> für alle reellen <math>x</math> einmal grafisch und einmal rechnerisch. Erkläre, welche Darstellung welche Information liefert.
# [[Geometrischer Transfer]]: Begründe, warum „nicht parallel“ bei Geraden im Raum nicht genügt, um einen Schnitt zu garantieren. Konstruiere ein eigenes Beispiel und löse das zugehörige Gleichungssystem.
# [[Stochastischer Transfer]]: Entwickle zwei Ereignisse mit <math>P(A)=P(B)</math>, die nicht unabhängig sind. Prüfe die Unabhängigkeit rechnerisch und erläutere das Ergebnis in Worten.
# [[Beweis oder Gegenbeispiel]]: Entscheide für drei selbst gewählte Aussagen, ob ein Gegenbeispiel, ein Existenzbeispiel oder ein allgemeiner Beweis die passende Strategie ist. Begründe Deine Wahl.
# [[Werkzeugkritik]]: Ein Computerprogramm prüft 100000 Werte einer Behauptung ohne Gegenbeispiel. Erkläre, warum das noch kein Beweis sein muss, und beschreibe, wie ein mathematisch belastbarer Nachweis aussehen könnte.

<br>
<br>

{{BR}}
= Lernnachweis =

Für einen Lernnachweis solltest Du zeigen, dass Du:
# Allaussagen, Existenzaussagen und ihre logische Rolle unterscheiden kannst.
# ein Gegenbeispiel nur dann akzeptierst, wenn alle Voraussetzungen erfüllt sind.
# Funktionsbeispiele mit Ableitungen rechnerisch prüfst.
# Vektorbeispiele mit Länge, Skalarprodukt und Parallelitätskriterium untersuchst.
# stochastische Aussagen mit Mengen und Wahrscheinlichkeiten kontrollierst.
# den Unterschied zwischen numerischer Evidenz und mathematischem Beweis erklären kannst.
# digitale Werkzeuge und KI-Ergebnisse eigenständig kontrollierst.
# im Basisfach verständig argumentierst und im Leistungsfach zusätzlich formal sauber begründest.

<br>
<br>

{{BR}}
= OERs zum Thema =

<iframe> https://de.m.wikipedia.org/wiki/Gegenbeispiel </iframe>

<iframe> https://de.m.wikipedia.org/wiki/Mathematischer_Beweis </iframe>

{{BR}}
= Verknüpfte Lernbereiche =

{| align=center
{{:D-Tab}}
'''[[Gegenbeispiel]]'''
# [[Aussage]]
# [[Quantor]]
# [[Mathematischer Beweis]]
# [[Notwendige und hinreichende Bedingung]]
# [[Analysis]]
# [[Analytische Geometrie]]
# [[Stochastik]]
# [[Unabhängigkeit stochastischer Ereignisse]]
|}

[[Kategorie:Mathematik]]
[[Kategorie:Abitur]]
[[Kategorie:Baden-Württemberg]]
[[Kategorie:Kursstufe]]
[[Kategorie:Analysis]]
[[Kategorie:Analytische Geometrie]]
[[Kategorie:Stochastik]]
[[Kategorie:Logik]]
[[Kategorie:Basisfach]]
[[Kategorie:Leistungsfach]]

{{BR}}
= aiMOOC-Projekte =
[[Kategorie:AI_MOOC]] [[Kategorie:GPT aiMOOC]]
{{MT}}

ABI - Gegenbeispiele gezielt einsetzen - Versionsgeschichte

Glanz: aiMOOC über GPT aiMOOC Action erstellt