0
$\begingroup$

$\forall x(p(x) \rightarrow \exists xq(x))$

$p(x)$ : $x$ is a human. $q(x)$ : $x$ has a job

Help me understand this in english please?

$\endgroup$
4
  • 1
    $\begingroup$ for all humans there exists a job $\endgroup$
    – JMP
    Jul 17, 2015 at 6:24
  • $\begingroup$ edited. sorry. Please look again. $\endgroup$
    – Rishi kesh
    Jul 17, 2015 at 6:39
  • 3
    $\begingroup$ The scope of the quantifier is "as little as possible"; deviations are managed with parentheses. In your example, the inner quantifier $\exists x$ acts on $q(x)$ only. Thus, from "the point of view" of the outer quantifier $\forall x$ there is only one variable $x$ to act on : that in $p(x)$. The formula can be rewritten as $\forall x (p(x) \to \exists y q(y))$ and the two have the same meaning. $\endgroup$ Jul 17, 2015 at 6:40
  • 1
    $\begingroup$ About the interplay between the two, you have to note that the formula is true (or satisfied) also in "tricky" cases. Consider as domain of interpretation $\mathbb N$ and as interpretation for $p(x)$ the property : "$x$ is less than $0$" and as interpretation of $q(x)$ : "$x$ is equal to $0$". With tis int the meaning of the formula is : $\forall x [ (x < 0) \to \exists x (x=0)]$ and thus it is true in the said interpretation. $\endgroup$ Jul 17, 2015 at 6:44

1 Answer 1

1
$\begingroup$

Assume that the variable $x$ represents a creature, then I would interpret your formula as:

"For all creates, if they are human then there exists a creature having a job".

$\endgroup$

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.