Write First-Order Logic sentences for all problems below.

You may use the following symbols:

Universal Quantifier: Ax

Existential Quantifier: Ex

Not: ~

And: /\

Or: \/

Implication: ->

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

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