quasi-limited existential quantifier
Any logic which USES the existential quantifier or the universal quantifier is said to be a predicate logic.
quasi-limited existential quantifier
Any logic which USES the existential quantifier or the universal quantifier is said to be a predicate logic.