Negasi Pernyataan Berkuantor

Negasi pernyataan “Untuk semua x berlaku p(x)” adalah “Tidak benar bahwa untuk
semua x berlaku p(x)” atau dengan kata lain “sekurang-kurangnya ada satu x
sedemikian sehingga p(x) tidak berlaku”. Dengan menggunakan lambang kita tuliskan
sebagai berikut: