Jabarkan Sifat dari Kuantifikasi semesta

Negasi dari fungsi berkuantor semesta diperoleh dengan mengubah kuantor semesta menjadi kuantor eksistensial, dan kemudian memberi tanda negasi  pada rumus. Dengan kata lain,  ekuivalen dengan .