Need help in logical statements

  • #1
912
19
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 lets 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 whats happening ?
 

Answers and Replies

  • #2
317
0
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 lets 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 whats happening ?

I am not sure what you are trying to say here??

1) There exists an x and then P(x) results in M(x)? You say something more about x in order to use these symbols. Like there [tex](\exists x \in A(x) \Rightarrow A(x) \mapsto M(x)[/tex]
 
  • #3
912
19
Hi Susan

Statement 1 means that " If there exists x such that x is math major then x is mad"
In other words , "If there exists a maths major then he is mad" But wouldn't this have the
same meaning as statement 2 since we can go find if any x is maths major . Then according to
statement 1 , is x is found to be a maths major then x is mad. So all the maths majors are found to be mad........
 
  • #4
34,976
6,729
The first statement says that for some x, P(x) implies M(x). The second statement says that for every x, P(x) implies M(x).

Using your example, the first statement says that some math majors are mad, while the second says that all math majors are mad.
 
  • #5
912
19
Mark , on second thought , I think I have made a mistake. The first statement is not even a proposition. The x in antecedent in the first statement is a bound variable and the x in the consequent is a free variable. So we can't talk about the truth value of the statement unless we define x in M(x). So what you are saying is not correct either.
 

Related Threads on Need help in logical statements

  • Last Post
Replies
1
Views
1K
  • Last Post
Replies
1
Views
677
Replies
4
Views
4K
Replies
0
Views
2K
Replies
7
Views
8K
Replies
13
Views
4K
Replies
35
Views
2K
Replies
0
Views
1K
  • Last Post
Replies
1
Views
806
Top