Saya mau tau 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 .