Kuantor Eksistensial
Kuantor Eksistensial
Kuantor eksistensial adalah kuantor yang dinyatakan dengan menggunakan kata terdapat,
ada, beberapa atau sekurang-kurangnya. Kuantor Eksistensial atau kuantor khusus biasanya
digunakan sebagai pengukur jumlah yang menunjukkan keberadaan. Lambang kuantor
eksistensial adalah ∃ (dibaca ada atau beberapa). Jika P(𝓍) adalah kalimat terbuka pada suatu
himpunan semesta S, maka dengan menambhkan kuantor eksistensial akan diperoleh
pernyataan ∃𝓍 ∈ S, P(𝓍). Dibaca ada 𝓍 anggota S sehingga berlaku pernyataan 𝓍.
Ingkaran dari pernyataan kuantor eksistensial adalah sebuah pernyataan berkuantor universal.
Ingkaran dari pernyataan kuantor eksistensial dinotasikan sebagai berikut :
Dibaca : ingkaran dari “ada x berlaku p(x)” ekuivalen dengan “untuk semua x bukan p(x)”
Contoh soal :