用存在量詞造句子，“存在量詞”造句

這兩種限制形式間的不同就是全稱量詞與存在量詞間的不同。

任何邏輯使用存在量詞或全稱量詞是説是一個謂詞邏輯。