"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.