translate English to predicate logic

There are some common forms:

1. “All As are Bs”:
2. “Some As are Bs”:
3. “No As are Bs”:
4. “Some As are not Bs”:

Warning

A common mistranslation is to translate “some As are Bs” into . However, this formula will always be true if there is at least one x such that

Usually:

• goes with
• goes with

Examples

Domain: Predicates: , ,

• “Every even integer is greater than some odd integer”
  • This is of the form “All As are Bs”

• “Every integer is greater than some integer”