Using Common Lisp,

You may do your work in MS Word documents and the files in the thread. You also have the option of posting your text directly in the discussion thread by using the symbols:

Universal Quantifier: Ax

Existential Quantifier: Ex

Not: ~

And: /\

Or: \/

Implication: ->

Write First-Order Logic sentences for all problems below.

Using the symbols listed above.

All zebras have stripes.

Not all cats have a tail.

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

Snoopy is a dog and likes bones.

All computers have a CPU and memory.

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

All green ogres are related to Shrek.

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

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