Input (grade 10): Two common quantifiers are the existential â ("there exists") and universal â ("for all") quantifiers.
Output (grade 9): It is different from other systems of logic because it has the concept of quantifiers.