S und B sind sogenannte Prädikate.
Die Formel S(x) bedeutet zum Beispiel ¨x ist ein Student¨
ANalog dazu bedeutet B(y) zum Beispiel ¨y besucht eine Sportkurs¨
DIe Aussage Ës gibt einen Studentenmuss dann so formuliert werden:
∃x: S(x)
also ungefähr Ës gibt jemnanden, der ein Stufent ist¨.
Die Aussage Ës gibt Studenten, die mindestens einen Sportkurs besuchenkann dann als
∃x : S(x) ∧ B(x)
formalisiert werden. Wörtlich Ës gibt jemanden, der sowohl Student ist, als auch einen Sportkurs besucht¨.
> S= Menge der Studenten und B= Menge der Sportkurse T=Menge der Teilnehmer
Das ändert das ganze natürlich. Dann wäre
∃x : S(x) ∧ T(x)
richtig. Weil anscheinend die Mengennotation gewünscht ist, geht auch
∃x : x∈S ∧ x∈T.
Weil Prädikate als Mengen formiliert werden können sind beide Notationen möglich und es kommt auf den Zusammenhang an, welcher Notation der Vorzug gegeben wird.
