Du musst unter Rückgriff auf Definitionen und bereits bewiesene Sätze begründen, warum die Aussagen gültig sind oder nicht gültig sind.
Beispiel: |∅| = 0.
Irgendwo in deinen Unterlagen ist definiert, was |M| bedeutet, wenn M eine Menge ist.
Irgendwo in deinen Unterlagen ist definiert, was ∅ bedeutet.
Schlag diese Definitionen nach und wende sie auf |∅| an.