標籤: 暫無標籤

1 存在量化 -定義

在謂詞邏輯中,存在量化是對一個域的至少一個成員的性質或關係的論斷。使用叫做存在量詞邏輯運算元符號來指示存在量化。

對量化的一般論述在量化中,本文特定討論存在量化。

它相對於聲稱某些事物對所有事物都為真的全稱量化。

2 存在量化 -相關條目

 

數學  物理

上一篇[自然推理系統]    下一篇 [全稱量化]

相關評論

同義詞:暫無同義詞