aus. ist hier genauso frei wie das in . Man muss sich also eine Regelung überlegen, unter welchen Umständen ungebundene Variablen wie gebunden werden. Eine Möglichkeit ist: Nimm den umgebenden Text. Wenn der nichts liefert, pro Aussage top-level all-quantifizieren. Das funktioniert hier, aber wenn obige Formel in andere Kontexte übertragen wird, dann nicht mehr. Beispiel: In einem Kontext, wo , , könnte man beweisen, dass alle natürlichen Zahlen kleiner als 10 sind. Das kann man ja nicht wollen. Hingegen, mit expliziter Quantifizierung ist die Gesamtformel immer wahr oder (bei nicht gebundenem oder ) bedeutungslos. -- Daniel5Ko 02:10, 30. Sep. 2011 (CEST)