Kriterien für wffs

[boris]

Hallo,

Ich frage mich gerade, ob EMx Fx eine wff in einem bestehenden modallogischen System ist.
E:=Existenzquant.
M:=Möglichkeitsop.
x:=Gegenstand
F:=Eigenschaft
Intuitiv nein, aber vielleicht doch! Kann mir das jemand erklären?

[Angrosch]

erkläre bitte genauer was du meinst und was ein wff ist.

[kunnukun]

Üblich ist, dass der Modaloperator mit einer wff eine wff ergibt. xFx ist in den üblichen Sprachen keine wff, somit auch MxFx nicht.