Ingkaran dari pernyataan "Terdapat buah yang memiliki duri”

Semua buah tidak memiliki duri / Tidak ada buah yang memiliki duri

Pembahasan

Pernyataan "Terdapat buah yang memiliki duri” adalah sebuah pernyataan eksistensial. Pernyataan eksistensial menyatakan bahwa ada setidaknya satu elemen dalam suatu himpunan yang memiliki sifat tertentu. 

Ingkaran dari pernyataan eksistensial "Terdapat ... yang P" adalah pernyataan universal "Semua ... tidak P". 

Dalam kasus ini, P adalah "memiliki duri". 
Maka, ingkaran dari "Terdapat buah yang memiliki duri” adalah "Semua buah tidak memiliki duri” atau "Tidak ada buah yang memiliki duri”.