離散數學知識點總結（2）-謂詞邏輯

1、謂詞與謂詞公式 謂詞：表示個體詞性質或相互之間關係的詞html 量詞：用來表示個體數量的詞是post 謂詞的量化：給謂詞加上量詞 spa 一元目謂詞P(x)、n元目謂詞P(x, y, z, ...)它們是命題形式而非命題xml 由於既沒有指定謂詞符號P的含義，並且個體詞x、y等也是個體變項而不表明某個具體的事物，從而沒法肯定P(x)、P(x, y)的真值。 htm 僅當賦予謂詞肯定含義，而且個

>>阅读原文<<