2
$\begingroup$

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.

$\endgroup$
4
$\begingroup$

To simplify notation, use a two-sorted logic where lowercase letters are person variables and uppercase letters are car variables. Let $x\mathrm{T}y$ be the relation of $x$ and $y$ living together and $x\mathrm{D}A$ be the relation that $x$ drives $A$.

"All people who live together drive the same car." is equivalent to "For each person, there is a car that all people who live with him also drive." This is logically expressed as

$$ \forall x \exists A[x\mathrm{D}A \land \forall y[x\mathrm{T}y\rightarrow y\mathrm{D}A]]. $$

I'm not sure if it's intended that this car is the only car any of them drive, in which case the statement is $$ \forall x \exists A[x\mathrm{D}A \land \forall B[x\mathrm{D}B\rightarrow B=A]\land \forall y[x\mathrm{T}y\rightarrow (y\mathrm{D}A\land \forall C[y\mathrm{D}C\rightarrow C = A])]], $$ where $x\mathrm{D}A\land\forall B[x\mathrm{D}B\rightarrow B=A]$ expresses the idea that "the only car that $x$ drives is $A$".

$\endgroup$
  • $\begingroup$ @Elchavo18, this answer is superior to mine. $\endgroup$ – Shaun Sep 17 at 20:40
1
$\begingroup$

I'd translate the first sentence like this: $$\begin{align}&\forall x\forall y \text{Person}(x)\wedge\text{Person}(y)\\ &\to\Big[(\exists h \wedge \text{Home}(h)\wedge\text{Live}(h,x)\wedge\text{Live}(h,y)) \\&\to\forall c\forall d\Big(\big(\text{Car}(c)\wedge\text{Car}(d)\big)\to[(\text{Drive}(c,x) \longleftrightarrow\text{Drive}(c,y))\\ &\wedge (\text{Drive}(c,x)\wedge\text{Drive}(d,x)\to c=d)]\Big)\Big]\end{align}$$

The second:

$$\neg\exists x\forall y(\text{Number}(x) \wedge \text{Number}(y)\to x>y)$$

$\endgroup$
  • $\begingroup$ This does not distinguish between people and cars. $\endgroup$ – Shaun Sep 17 at 20:18
  • $\begingroup$ @This distinguishes between people, cars and homes. $\endgroup$ – ajotatxe Sep 17 at 20:36
  • $\begingroup$ I find your correction humorous! :) $\endgroup$ – Shaun Sep 17 at 20:37
0
$\begingroup$

For 1, try

$$\forall x,y(((\operatorname{Person}(x)\land \operatorname{Person}(y))\land\operatorname{LivesTogether}(x,y))\to(\exists z\operatorname{Car}(z)\land(\operatorname{Drives}(x,z)\land\operatorname{Drives}(y,z)))$$

and for 2, try

$$\lnot\exists n\forall m(n>m),$$

where the domain for the second one is understood to mean all (real) numbers.

$\endgroup$
  • 1
    $\begingroup$ Doesn't that first sentence fail in the case where people $x,y,z$ live together and own cars $A,B,C$, but $x$ never drives $A$, $y$ never drives $B$, and $z$ never drives $C$? These people live together and don't all drive the same car, but they do satisfy that statement. $\endgroup$ – eyeballfrog Sep 17 at 20:24
  • $\begingroup$ You're right, @eyeballfrog; thank you! $\endgroup$ – Shaun Sep 17 at 20:26
  • $\begingroup$ Is that any better, @eyeballfrog? $\endgroup$ – Shaun Sep 17 at 20:27
  • $\begingroup$ In fact, I stick to my original statement, @eyeballfrog, although only because I don't quite understand your objection. Please would you elaborate? $\endgroup$ – Shaun Sep 17 at 20:33
  • $\begingroup$ The sentence in English says that those people drives the same CAR, not the same CARS. So there is only one car. $\endgroup$ – ajotatxe Sep 17 at 20:37

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.