quantifier 數量詞,量記號來源(2): F.O.L.D.O.C [foldoc] quantifier An operator in predicate logic specifying for which values of a variable a formula is true.
確定! 回上一頁