First Order Logic Problems:

1. All zebras have stripes.

2. Not all cats have a tail.

3. Anyone who enjoys homework and writing papers must be an AI student.

4. Snoopy is a dog and likes bones.

5. All computers have a CPU and memory.

6. There is at least one dog in the world that likes cats.

7. All green ogres are related to shrek.

8. There is someone in this class that likes first-order logic (FOL).

9. Anyone who is a child of my mother and a child of my father is my sibling.

• Universal Quantifier: Ax
• Existential Quantifier: Ex
• Not: ~
• And: /\
• Or: \/
• Implication: ->