Translate the sentence into symbolic logic

573 Views Asked by At

You can fool some of the people all of the time, and you can fool all of the people some of the time, but you can't fool all of the people all of the time.

My attempt is

$$((\exists(x),A(x)) \land(\forall(x),S(x))) \land \neg (\forall(x), A(x))$$

Such that

$A(x)=$ You can fool all the time

$S(x)=$ You can fool some of the time

Just starting out basic logic and I'm looking to see where I"m making mistakes. Thanks

1

There are 1 best solutions below

4
On BEST ANSWER

Your attempt isn't entirely satisfactory because you ignore the fact that the sentence quantifies over times. Here's a better translation, I think:

$\exists x \forall y Fxy \ \wedge \exists y \forall x Fxy \ \wedge \neg \forall x \forall y Fxy$.

The interpretation of $Fxy$ is "x is fooled at time y".