Logic/Universal quantifier and Existential quantifier

In other languages