# Math Help - English to Predicate Logic

1. ## 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!

2. 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