Meine Frage bezieht sich auf folgende Aufgabe:

Ich bin immer ein wenig überfragt, wie ich das ganze optimal übersetzen soll, sodass ich auch sofort den Sinn verstehe. Meine Übersetzung würde lauten: "Für jedes m gibt es ein n, sodass für jedes a und b gilt, dass m kleiner gleich n und a=1 oder b=1 oder ab ungleich n ist." Und ich frage mich wie ich die Wahrheit dieser Aussage prüfen soll. Was ich aber vermute ist, dass der wesentliche Aspekt dieser Aussage sein wird, dass die Oder-Bedingungen immer erfüllt werden sollte. Der Rest sollte trivial immer erfüllbar sein. Also für diese Zahl n dürfte ich sie entweder nicht in 2 Faktoren aufteilen können oder einer der beiden Variablen a oder b oder beide gleichzeitig muss 1 sein. Wenn ich ein Gegenbeispiel finden würde, dann wäre ja die Aussage nicht wahr. Das Problem ist, ich müsste m wählen und dann ein entsprechendes n finden für jedes beliebige m, sodass die Bedingung nicht gelte. Gibt es hier vielleicht eine schnellere Methode, die ich übersehe?