I have a few examples I need help working out. I feel pretty comfortable with most English to Predicate logic statement problems but there were a few I was unable to figure out on my own and I could use some guidance.
This is what we were given: Write the following statements in predicate logic using the binary predicates livesIn(x, y) (meaning x lives in location y), owns(x, y) (meaning x owns y), faster(x, y) (meaning x is faster than y) and unary predicates (with a single parameter), such as car(x) (meaning x is a car) as appropriate. You can also use the equality predicate.
The questions I was unable to answer are:
1) No Two distinct (different) algorithms are equally fast.
2) A prime number is an integer that is not divisible by any smaller integer except for 1.
3)A number is divisible by 6 if and only if it is the product of 2 and some integer and it is the product of 3 and some integer.
These tripped me up most likely because of the length of them compared to the others as well as the smaller or equally aspects which I'm unsure of how to represent in Predicate logic.
Any advice would be much appreciated! Thank you!