## [Konstruktion Eines Gegenmodells](/de/node/60841) Definition Das systematische Verfahren, ein Modell oder eine Struktur zu konstruieren, die eine Menge von Prämissen erfüllt, aber einen postulierten Satz oder eine Theorie falsifiziert, verwendet um semantische Nicht-Folgerung oder Ungültigkeit zu zeigen. ## Prinzip Prinzip Eine Folgerung dadurch widerlegen, dass man eine Zeigerstruktur liefert, in der alle Annahmen wahr sind, die behauptete Konsequenz jedoch falsch ist; ein einziges Gegenmodell genügt, um semantische Nicht-Folgerung zu beweisen. ## Demonstration Demonstration Gegeben die Prämissenmenge {p→q}, konstruiere eine Bewertung v mit v(p)=falsch und v(q)=falsch. Die Implikation p→q ist in v wahr, q ist jedoch falsch, also ist v ein Modell der Prämissen, das q falsifiziert und {p→q} ⊭ q beweist. ## Fehlanwendung Fehlanwendung Eine Struktur konstruieren, die die Sprache oder Signatur ignoriert (z. B. anderes Universum, fehlende Funktionssymbole) oder aus einem ungültigen Gegenbeispiel Nicht-Folgerung behaupten, das nicht alle Prämissen erfüllt. ## Konsequenz Konsequenz Ein gültiges Gegenmodell stellt die semantische Unabhängigkeit der Schlussfolgerung von den Prämissen fest, leitet Reparaturen der Theorie an und identifiziert notwendige zusätzliche Axiome oder Beschränkungen. ## Umkehrung Umkehrung Statt ein Gegenmodell zu konstruieren, versucht man zu beweisen, dass kein Gegenmodell existiert; das Vorhandensein eines Beweises für die Folgerung steht im direkten Gegensatz zur Gegenmodulkonstruktion. ## Abgrenzung Abgrenzung Gilt für modelltheoretische Semantik in Aussagenlogik, Prädikatenlogik und anderen Logiken; die Praktikabilität hängt von Entscheidbarkeit und verfügbaren Modellbaumethoden ab und ersetzt nicht notwendigerweise syntaktische Beweissysteme, falls Vollständigkeit fehlt. ## Semantische Spannung Semantische Spannung Gegenmodulkonstruktion steht im Spannungsfeld zu syntaktischen Gegenbeispielen und Beweissuche: Das Gegenmodell ist semantisch und konstruktiv, während eine syntaktische Widerlegung den dualen Beweis durch Ableitung liefert. ## Synthese Synthese Gegenmodulkonstruktion ist die Methode, eine konkrete Interpretation zu erzeugen, die die Prämissen erfüllt und die Schlussfolgerung verletzt, womit semantische Nicht-Folgerung nachgewiesen und Theorieanpassungen ermöglicht werden.