2
$\begingroup$

Here $p(x)$ and $q(x)$ are first order formulae with $x$ as their free variable

  1. $\Big( \forall x[p(x) \Rightarrow q(x)] \Big) \Rightarrow \Big(\forall x[p(x)] \Rightarrow \forall x[q(x)] \Big)$
  2. $ \Big(\forall x [p(x)] \Rightarrow \forall x[q(x)] \Big) \Rightarrow \Big(\forall x[p(x) \Rightarrow q(x)]\Big)$

My (not-so-sound)reasoning is as follows

  1. It is given that whenever $p(x)$ is true for any value of $x$ in the universe $q(x)$ is also true$\Big( \forall x[p(x) \Rightarrow q(x)] \Big)$, Thus if $p(x)$ is true for the entire universe, $q(x)$ will also be true for the entire universe and $\Big(\forall x[p(x)] \Rightarrow \forall x[q(x)] \Big)$ is true
  2. It is given that if $p(x)$ is true for the entire universe, $q(x)$ will also be true for the entire universe$\Big(\forall x[p(x)] \Rightarrow \forall x[q(x)] \Big)$. I am thinking that it need not be the case that $q(x)$ is true for cases when $p(x)$ is true.

Is my reasoning correct? I am confused and think that I am merely juggling words around. Could you give me an example to show option 2 is not valid.

  • 0
    @amWhy, That's right. Thanks.2012-11-20

1 Answers 1

1

Your reasoning in the first question is correct.

For the second question, let our universe be the set of natural numbers. Let $p(x)$ be the assertion $x$ is even, and let $q(x)$ be the assertion $x$ is a perfect square.

Then $\forall x\,p(x)$ and $\forall x \,q(x)$ are both false, and therefore the implication $\forall x \,p(x)\Rightarrow \forall x \,q(x)$ is true.

However, $\forall x\left(p(x)\Rightarrow q(x)\right)$ is false.

Many examples can be constructed along these lines, none very interesting.

  • 0
    @Abhijith: Now you can see why I wrote "none very interesting."2012-11-20