(adsbygoogle = window.adsbygoogle || []).push({}); "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.

**Physics Forums | Science Articles, Homework Help, Discussion**

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Horses have heads Symbolic Logic

**Physics Forums | Science Articles, Homework Help, Discussion**