Results 1 to 2 of 2

Math Help - English to Predicate Logic

  1. #1
    Newbie
    Joined
    Oct 2008
    Posts
    14

    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!
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Banned
    Joined
    Oct 2008
    Posts
    39
    Quote Originally Posted by inthedl View Post
    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
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. English to logic translation
    Posted in the Discrete Math Forum
    Replies: 6
    Last Post: December 20th 2011, 01:12 AM
  2. Translating English to FO Logic
    Posted in the Discrete Math Forum
    Replies: 3
    Last Post: August 3rd 2010, 07:32 AM
  3. Formalizing Predicate Logic (English to PL)
    Posted in the Discrete Math Forum
    Replies: 2
    Last Post: November 22nd 2009, 12:18 PM
  4. Predicate Logic converted to English Statements
    Posted in the Discrete Math Forum
    Replies: 1
    Last Post: September 24th 2009, 01:47 AM
  5. Replies: 5
    Last Post: September 8th 2009, 08:46 AM

Search Tags


/mathhelpforum @mathhelpforum