1.4 謂詞和限定詞Predicates and Quantifiers 引入謂詞邏輯謂詞邏輯使用以下新功能: 變數:x,y,z 謂詞:P(x),M(x) 限定詞命題功能是命題的概括。
確定! 回上一頁