The two most common mathematical quantifiers are "for all" (∀) and "there exists" (∃).

I wondered how to render them in Latin. Here is my proposal:

  • for all x: pro omnis x
  • for all x,y: pro omnibus x, y
  • there exists x such that y: x ut y existet/est
  • Maybe one can take a look at the sophismata of the middle ages to get some ideas. – d_e Dec 2 '20 at 8:43
  • First, I am fairly sure there are better Latin terms for these. There is a specific class of numeral adjectives with the meaning "X each" so like "5 apples (for each person in question)." I don't know enough to offer concrete help on this subject though. Second, I don't think pro is the right preposition here, because it often carries an 'on behalf of' sense. Third, ut must be used with a subjunctive to be resultative. Use 'sit' instead. – Nickimite Dec 3 '20 at 20:39

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy