Im Laufe einer Aufgabe habe einen Weg gefunden, M ⊧ F zu falsifizieren. Ich will also schreiben, dass M ⊧ F nicht gilt. Sofern ich mich erinnere, ist die Syntax für Falsifizieren in diesem Fall M ⊭ F, richtig?
Wenn ich also in einer Aufgabe zeige, dass die Behauptung M ⊧ F falsch ist, kann ich dass da folgendermaßen formulieren: (a) "[...] und somit ist M ⊧ F falsifiziert. (b) "[...] und es gilt M ⊭ F.
Kann mich da jemand bestätigen?
