Formulierungen mithilfe von Quantoren

Question

Sei S={s₁ , s₂ , ... , s_n} eine Menge von Studierenden und V = {v₁ , v₂ , ... , v_n} eine Menge von Vorlesungen.
(s, v) sei die Aussageform, dass der Studierende s in der Vorlesung v war.

Finden Sie mithilfe von Quantoren Formulierungen zu:

a. Ein Studierender war in allen Vorlesungen da
b. Einmal waren alle Studierende da
c. Jeder Studierende war einmal da
d. Jedesmal war mindestens ein Studierender da
e. Alle Studierenden waren immer da

Nun habe ich mich schon an die Aufgabe gesetzt und würde gerne wissen, ob meine Ergebnisse dazu richtig sind.

a. ∃s∈S : s∈∀v

b. ∃v∈V : ∀s∈v

c. ∀s∈S : s∈V

d. ∀v∈V : ∃s∈v

e. ∀s∈S : s∈∀v

Answer 1

der Anfang ist immer richtig allerdings macht der Rest keinen Sinn. Du sollst schon die Aussageform verwenden die du hast. Beispiel

a) Ein Studierender war in allen Vorlesungen da.

\( \exists s \in S: \forall v \in V: (s,v) \)

Gruß

Comments

Da habe ich wohl einen großen Fehler gemacht..

a. Ein Studierender war in allen Vorlesungen da
∃s∈S : ∀v∈V : (s, v)

b. Einmal waren alle Studierende da
∃v∈V : ∀s∈S : (s, v)

c. Jeder Studierende war einmal da
∀s∈S : ∃v∈V : (s, v)

d. Jedesmal war mindestens ein Studierender da
∀v∈V : ∃s∈S : (s, v)

e. Alle Studierenden waren immer da
∀s∈S : ∀v∈V : (s, v)

Stimmt das so?

---

Ja sieht sehr gut aus :)

---

Alles klar, dann bedanke ich mich für die berichtigung :)