I have 2 English sentences that I am having trouble translating them to predicate logic.
1. All people who live together drive the same car.
2. There is no number that is larger than all other numbers.
I do know that for sentence 1 it has to have a universal quantifier. The key word that gave it was All. Would this be correct or close to the answer ..
∀x(Person(x) ∧ Home(x) -> ∃y Car(y,x))
For the second one Same thing... Instead of a universal i use existential for the first part because it only refers to 1 number. Can anyone help out with these? I'm just confused on how to tackle these. I'm looking for the answer but as well as the thoughts on how i can figure these out.