# English to Predicate Logic

• Nov 3rd 2008, 02:09 PM
inthedl
English to Predicate Logic
Hello,

I have the following statement:

"Function f.i is non-decreasing as i increases."

Does anyone know how I can translate this statement into its Predicate?

Thanks!
• Nov 4th 2008, 05:28 AM
poutsos.B
Quote:

Originally Posted by inthedl
Hello,

I have the following statement:

"Function f.i is non-decreasing as i increases."

Does anyone know how I can translate this statement into its Predicate?

Thanks!

$\forall x\forall y$[ x $\leq$ y=====> ~f(x) $\geq$ f(y)].

Which is equivalent to:

$\forall x\forall y$[ x $\leq$ y=====> f(x)< f(y)].

The predicates here being the inequality symbols