1.4 謂詞和限定詞Predicates and Quantifiers. 引入謂詞邏輯. 謂詞邏輯使用以下新功能: ... 通用量化器Universal Quantifier ... 存在量化器Existential Quantifier.
確定! 回上一頁