- 3

- 0

**"Horses have heads" Symbolic Logic**

I was given this sentence to represent in first-order predicate calculus.

The formula must use the following terms--horse, has, head--where:

"horse" represents "x is a horse"

"has" represents "x has a head"

"head" represents "x is a head"

Are these possibilities?

1) (x)(horsex-->hasxhead) which means(?) "For all x, if x is a horse then x has a

head"

2) (x)(y)((horsex & heady)-->hasxy) which means(?) "For all x and for all y, if x is a horse and y is a head, then x has y"

If not, how can "Horses have heads" be represented using these specification? Thank you.