- #1
scienceHelp
- 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.
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.