A statement like 'All men are mortal' uses which quantifier?
Universal quantifier (forall\\forallforall)
Existential quantifier (exists\\existsexists)
Negation
Biconditional