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).

Beginne eine Diskussion über Moderne Termlogik: Einleitung: Worum geht es?

Diskussionsseiten sind Orte, an denen Leute darüber diskutieren, wie man den Inhalt von Wikibooks so gut wie möglich gestalten kann. Du kannst diese Seite benutzen, um eine Diskussion mit anderen zu beginnen, wie Moderne Termlogik: Einleitung: Worum geht es? verbessert werden kann.

Eine Diskussion beginnen