- #1
issacnewton
- 1,000
- 29
Hi
I am little confused about the following statements.
[tex]1) \;\left[\exists x P(x)\right]\Rightarrow M(x)[/tex]
and
[tex]2) \forall x \left[P(x)\Rightarrow M(x)\right][/tex]
Its obvious that they are not logically equivalent. But let's take some examples.
let P(x) = x is majoring in maths
M(x)= x is mad.
so the statement 2 means that all math majors are mad and
statement 1 means that if there is a math major then he is mad
here it looks like they are equivalent in meaning. so what's happening ?
I am little confused about the following statements.
[tex]1) \;\left[\exists x P(x)\right]\Rightarrow M(x)[/tex]
and
[tex]2) \forall x \left[P(x)\Rightarrow M(x)\right][/tex]
Its obvious that they are not logically equivalent. But let's take some examples.
let P(x) = x is majoring in maths
M(x)= x is mad.
so the statement 2 means that all math majors are mad and
statement 1 means that if there is a math major then he is mad
here it looks like they are equivalent in meaning. so what's happening ?