離散數學 謂詞邏輯

謂詞邏輯 基本概念 個體詞： 可獨立存在的客體 謂詞： 用來說明個體的性質與個體間的關係，可分爲一元謂詞、二元謂詞、n元謂詞。 考點： 命題的謂詞表達式 區分：個體常元與個體變元 分別對應着謂詞常項與謂詞變項（命題函數）。 eg: A(a) , H(a,b) 對比 A(x) , H(x,y) 個體域個體變動的取值範圍 量詞： 1、全稱量詞： ∀ {\forall} ∀ 表示」所有的「、」每一個「、

>>阅读原文<<