How to translate the following natural-language statements to symbolic form:
- "If everybody complains, no one will get help"
- Is this correct? $\forall x C(x) \rightarrow \lnot (\forall y H(y))$, where $C(x)$ is "x is complaining" and $H(y)$ is "y gets help"
- "Everybody loves somebody sometime"
- "Everybody loves somebody" becomes $\forall x \exists y L(x,y)$, where $L(x,y)$ is "x loves y". But how to translate
sometime?
- "Everybody loves somebody" becomes $\forall x \exists y L(x,y)$, where $L(x,y)$ is "x loves y". But how to translate
PS: this question is a follow-up to an old question.
Best Answer
I would symbolize the first statement like this:
$$\forall x(Cx) \to \neg \exists y(Hy)$$
I believe your symbolization is incorrect because $\neg (\forall y Hy)$ is equivalent to $\exists y \neg Hy$ ("There exists a y such that y does not get help" You're looking for "Nobody gets help").
Now, I would symbolize "Everybody loves someone" as
$$\forall x \exists y(Lxy)$$
which is pretty much exactly how you symbolized it.
As for "sometime," I'm not exactly sure how you would symbolize the time in this context. Perhaps you can use temporal logic. This would require you to be pretty familiar with modal logic, though. It depends on how you interpret "sometime," which, in my opinion, is pretty ambiguous.