Konstruktion Eines Gegenmodells

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.