存在量化

在謂詞邏輯中 ， 存在量化是對論域內至少一個成員的性質或關係的論斷 。 在符號邏輯中 ， 存在量詞 ∃ 是用來指示存在量化的符號 。 它相對於聲稱某些謂詞對所有事物都爲真的全稱量化 。