存在符號(existential symbol)邏輯學(xué)符號之一它表示“存在二使命題F(二)成立”,也是最基本的量詞之一。

簡介

德國數(shù)學(xué)家萊布尼茨