LinkBack URL
About LinkBacksThis formulae gives me some troubles.
Im getting this far before im in trouble:
How do I push the negation inwards ?
Appreciate all hints or solutions!
I find your answer puzzling.Originally Posted by Razoor
This formulae gives me some troubles.
[COLOR=#000000]
Lets say we are dealing withand
means
.
Thensays "some natural number precedes every natural number". Does that imply that "every natural is preceded by some natural number"?
Can you use IE, UI, UG & EU in a valid way to get what you need?
Im not quite sure what you mean with your last question. But this is how i understand the sentence.I find your answer puzzling.
Lets say we are dealing with
Then
Can you use IE, UI, UG & EU in a valid way to get what you need?
 )
"There exist an X where all Y is in the same function p(X,Y) which implies that for all Y is there an X in the same function p(X,Y)"
First of all i need to remove the imply arrow by negating the right side and split up the left and right part like this:
 , \neg ( \forall y \exists x p(x,y) ) )
You can then removeby introducing a new constant for X.
 , \neg ( \forall y \exists x p(x,y) ) )
  |
