How can I translate the following into reasonable sentence ?
You can let Rxyz stand for anything as long as it makes sense.
Philosophy Stack Exchange is a question and answer site for those interested in the study of the fundamental nature of knowledge, reality, and existence. It only takes a minute to sign up.Sign up to join this community
For a mathematical example, see the "standard" epsilon-delta definition of limit :
for all epsilon, exists a delta such that, for all x ...
For a natural language example, see Jan von Plato, Elements of Logical Reasoning (2013), page 118 :
A sequence of quantifiers such as ∀x∃y∀z is quite natural.
There is for every person some problem on which every attempt will fail.
The three-place relation here is: person x fails on problem y in attempt z. This example also illustrates the choice of a domain. In this case the domain seems to contain, at least, persons, problems, and attempts. There is a threeplace relation that we can write as Fail(x, y, z), in which x is a person, y a problem, and z an attempt. These have to go in the right places in the relation.
The usual way to do it is to introduce predicates such as Person(x), Problem(y), and Attempt(z), and to write the formalization as in:
∀x∃y∀z [Person(x) and Problem(y) and Attempt(z) → Fail(x, y, z) ].
by Double Negation is equivalent to :
Now, using the rules for quantifiers :
we can "move inside" the inner negation, getting :
Thus, the two formulae are equivalent.
Thus, the equivalent version of :
There is for every person some problem on which every attempt will fail
can be read as :
There is no person such that for every problem there is an attempt which does not fail.