Write formula using quantifiers

Hello there.

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.

Please help.

Re: Write formula using quantifiers

How are those terms, **weakly decreasing** and **weakly increasing** defined?

Re: Write formula using quantifiers

Weakly increasing-

Weakly decreasing-

I came up with this:

But is it correct? If so then why and how can I derive it from those two formulas above?

Re: Write formula using quantifiers

Quote:

Originally Posted by

**MachinePL1993** Weakly increasing-

Weakly decreasing-

I came up with this:

But is it correct? If so then why and how can I derive it from those two formulas above?

Are you sure that it is not an implication?

Weakly increasing-

Weakly decreasing-

Then the negation you have would be correct.

Re: Write formula using quantifiers

Yes, I'm sorry, there should be an implication.

Weakly increasing-

Weakly decreasing-

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?

Re: Write formula using quantifiers

Quote:

Originally Posted by

**MachinePL1993** 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?

Yes, I would accept that. But I don't know the level of rigor expected of you.