量詞

運算之一 存在 (稱為存在量詞) 或 對於所有 (稱為全稱量詞，或有時稱為一般量詞)。然而，也存在更奇異的邏輯分支，它們使用除這兩種量詞之外的其他量詞。