I am taking a Scala programming course. At one point the instructor said:
Functions blah and bladdy are the universal and existential
quantifiers of first-order logic.
Could someone translate "universal and existential quantifiers of first-order logic" into English please?