Coba jelasin Sifat dari Kuantifikasi semesta dong

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 .