How are those terms, weakly decreasing and weakly increasing defined?
I need to write a following formula using quantifiers, but it has to be in prenex normal form.
The formula is : function f is not weakly decreasing and not weakly increasing.
I got to here:
by negating :
But I have no idea how to proceed, since my solution is not in prenex normal form.
Yes, I'm sorry, there should be an implication.
But now I have to bring it to prenex normal form. Is there some other way to arrive to a proper formula without converting my negation from above using an algorithm to prenex normal form like I did two messages prior? Is my answer from above even correct?