I am a bit confused when translating categorical sentences in language of predicate logic. I am trying to be as exacted I can be. That means capital letters for verbs only, the rest are individual constants.
Example:
All Greeks are men
maybe could this be translated like this:
∀(x)∀(y)[ARE(x) → ARE(y)]
where x= Greek, and y = men
or
∀(x, y)[ARE(x, y)]