Petunjuk 1. Mulai dari keanggotaan sebuah unsur \(x\) pada komplemen ruas kiri.

Petunjuk 2. Gunakan negasi kuantor: \(\neg\exists\) menjadi \(\forall\neg\text{,}\) dan \(\neg\forall\) menjadi \(\exists\neg\text{.}\)