Diskussion:Moderne Termlogik: Einleitung: Worum geht es?

Verständnisfrage: A(S,P) folgt K(S,P) wäre doch richtig "übersetzt" in: All(X)(M(X)->L(X) => Einige(X) (P(X)^G(X)), oder? Wenn also für die Grundmenge gilt, M(X)-> L(X), dann auch für jede Teilmenge ("Einige).