謂詞 (邏輯). In logic, a predicate is a symbol which represents a property or a relation. For instance, the first order formula P(a), the symbol P is a ...
確定! 回上一頁