Negation von Aussagen mit Mengenoperationen

Question

Aufgabe 2:
Beschreiben Sie in kurzen Worten die Negation folgender Aussagen und drucken Sie die Aus- ¨
sagen und ihre Negationen mathematisch durch Mengen, Mengenoperationen und Symbole der
Aussagenlogik aus.
a) Es gibt ein schwarzes Schaf, das gerne Salat frisst.
b) Alle Studierende der Analysis sind intelligent und fleißig.

 

Verstehe das Prinzip dahinter nicht ganz.

Answer 1

a) ∃ x ∈ schwarze Schafe : x frisst gern Salat

b) ∀ x ∈ Student(in) der Analysis : x ist fleissig ∧ x ist intelligent

 

Negationen:

a) ∀ x ∈ schwarzes Schaf : x frisst ungern Salat

b) ∃ x ∈ Student(in) der Analysis : x ¬ fleissig ∨ x ¬ intelligent