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