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