One of the two symbols ∀ or ∃ used in predicate calculus. ∀ is the universal quantifier and is read “for all”. ∃ is the existential quantifier and is ...
確定! 回上一頁