title: Universal and Existential Quantifiers of First-Order Logic
body: <p>I am taking a Scala programming course. At one point the instructor said:</p>
  
  <blockquote>
    <p>Functions <em>blah</em> and <em>bladdy</em> are the universal and existential
    quantifiers of first-order logic.</p>
  </blockquote>
  
  <p>Could someone translate "<em>universal and existential quantifiers of first-order logic</em>" into English please?</p>