| Thread Closed |
Negation |
Share Thread | Thread Tools |
| Mar1-05, 12:39 AM | #1 |
|
|
Negation
I want to negate this: [itex]( \exists x ) ( \forall y ) \Phi (x,y ) [/itex]
Is this correct? [tex]\neg ( ( \exists x ) ( \forall y ) \Phi (x,y ) ) \equiv ( \forall x ) ( \exists y ) \neg \Phi (x,y ) [/tex] |
| Mar1-05, 12:49 AM | #2 |
|
Recognitions:
|
looks right
|
| Mar1-05, 01:46 AM | #3 |
|
|
~[(Ex)(Ay)F(x,y)] <-> ~(Ex)(Ay)F(x.y) ~(Ex)(Ay)F(x,y) <-> (Ax)~(Ay)F(x,y) (Ax)~(Ay)F(x,y) <-> (Ax)(Ey)~F(x,y) therefore, ~[(Ex)(Ay)F(x,y)] <-> (Ax)(Ey)~F(x,y). |
| Mar1-05, 11:08 PM | #4 |
|
|
Negation
Thanks guys.
|
| Thread Closed |
| Thread Tools | |
Similar Threads for: Negation
|
||||
| Thread | Forum | Replies | ||
| Negation of Limit | Calculus & Beyond Homework | 5 | ||
| negation of this statement | Set Theory, Logic, Probability, Statistics | 2 | ||
| Proposition Negation | Set Theory, Logic, Probability, Statistics | 6 | ||
| Proper Negation | Set Theory, Logic, Probability, Statistics | 24 | ||
| What is the negation of the statement | Introductory Physics Homework | 2 | ||