Das Prinzip der Kontraposition für zwei Aussagen A und B lautet ja:
(A⇒B) ⇔ (¬B⇒¬A)
Nun habe ich zwei Äquivalenzen:
(a) ¬(∀ x ∈ M : A(x)) ⇔ ∃ x ∈ M : ¬A(x)
(b) ¬(∃ x ∈ M : A(x)) ⇔ ∀ x ∈ M : ¬A(x)
Ich soll nun mit dem Prinzip der Kontraposition folgern, dass (b) direkt aus (a) folgt.
Doch was sind meine beiden Aussagen A und B?