Negasi dari pernyataan "Ada manusia yang tidak berdosa" adalah “Semua manusia berdosa”, atau “Setiap manusia berdosa”.
 

Penjelasan dengan langkah-langkah:

Diberikan pernyataan: "Ada manusia yang tidak berdosa".

Pernyataan tersebut ekuivalen dengan “Terdapat manusia yang tidak berdosa”, atau "Beberapa manusia tidak berdosa", yang merupakan pernyataan berkuantor, yaitu pernyataan yang mengandung ukuran kuantitas. Dalam hal ini, kuantor pada pernyataan tersebut adalah kuantor eksistensial.

Dalam logika matematika, pernyataan di atas dapat dinotasikan dengan:
∃x, p(x)
dibaca “Ada/Terdapat x sedemikian rupa sehingga berlaku sifat p(x).” dengan:

• x = “manusia“
• p(x) = ”manusia tidak berdosa“.

Ingkaran/negasi dari kuantor eksistensial adalah kuantor universal, yaitu ”semua“, atau ”setiap“, atau ”seluruh“, yang dilambangkan dengan ∀.

Jadi:
~(∃x, p(x)) ≡ ~∃x, ~p(x) ≡ ∀x, ~p(x)

Oleh karena itu, ingkaran/negasi dari pernyataan "Ada manusia yang tidak berdosa" adalah:
”Semua manusia berdosa“, atau ”Setiap manusia berdosa“.