Kuantor Eksistensial

Kuantor eksistensial ditulis dengan lambang “ ” dan dibaca “ada/beberapa” atau
“sekurang-kurangnya satu”. Jika p(x) adalah kalimat terbuka dan diberi kuantor
eksistensial maka akan menjadi suatu pernyataan dan ditulis ( x) p(x) yang dibaca:
1. Ada x sedemikian sehingga berlaku sifat p.
2. Beberapa x mempunyai sifat p.
3. Sekurang-kurangnya satu x dengan sifat p.
Bentuk ( x) p(x) merupakan pernyataan deklaratif yang mempunyai nilai kebenaran
dapat benar atau salah yaitu jika dapat ditemukan sekurang-kurangnya satu x yang
bersifat p(x) maka ( x) p(x) benar. Jika tidak dapat ditemukan satupun x yang bersifat
p(x) maka ( x) p(x) salah.
Contoh 1
x bilangan asli, x < 1
Pernyatan bernilai salah karena tidak dapat ditentukan x bilangan asli yang < 1.
Contoh 2
x bilangan prima, x merupakan bilangan genap.
Pernyataan tersebut bernilai benar karena ada bilangan prima yang merupakan
bilangan genap yaitu 2.