Results 1 to 2 of 2

Math Help - Developing predicates...

  1. #1
    Newbie
    Joined
    Feb 2009
    Posts
    4

    Developing predicates...

    Hey everyone, I am trying to develop a predicate for the following sentence...

    In the array segment g[m...n) there are at least three occurrences of values greater than x.

    So far, I have:

    Code:
    A k|m<=k<n:
    Where "A" should be the "For all" quantifier. Now, I guess my question is, how do I express "at least three occurrences of values"?

    I need to somehow show that there are at least three values contained in the array which are larger than x (whatever it may be). So, if I can show three values in the array, then we know there are exactly three values which can be greater than x. But there could be five values, or twelve values. So would the three translate to >=3 to express the "at least"?

    Thanks!
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Senior Member
    Joined
    Nov 2008
    From
    Paris
    Posts
    354
    Hi

    I give you an answer for a similar but more general problem so you can adapt it to yours:
    Let A be a subset of \mathbb{Z},\ x an integer and n a positive integer. How could we write a formula meaning: "there are at least n integers in A which are greater than x"?

    First we can think it in a more formal way: "there exist n integers in  A,\ x_1,...,x_n which are all different and such that x_i>x,\ i=1,...,n"

    I guess that shows us a way to write our formula:
    <br />
\exists x_1...\exists x_n(\bigwedge\limits_{i<j}\neg x_i=x_j)\wedge(\bigwedge\limits_{i=1}^{n}(x_i\in A\wedge x_i>x))
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Replies: 5
    Last Post: June 21st 2011, 09:59 PM
  2. Developing transformation matrix
    Posted in the Advanced Algebra Forum
    Replies: 2
    Last Post: February 15th 2011, 07:21 AM
  3. Developing a formula for speed of a bicycle
    Posted in the Pre-Calculus Forum
    Replies: 9
    Last Post: November 14th 2010, 08:46 AM
  4. Developing a model function for population growth
    Posted in the Statistics Forum
    Replies: 1
    Last Post: July 15th 2010, 11:49 PM
  5. developing to talor series(complex functions)
    Posted in the Calculus Forum
    Replies: 1
    Last Post: January 10th 2010, 06:10 AM

Search Tags


/mathhelpforum @mathhelpforum