Results 1 to 2 of 2

Math Help - relational expression, zermelo definition, proper divisor...

  1. #1
    Newbie
    Joined
    Oct 2010
    Posts
    3

    relational expression, zermelo definition, proper divisor...

    Q) [/B]Consider the predicate D : N × N → {T, F} (N stands for the natural numbers)
    where D(x, y) means ‘x is a proper divisor of y’.
    (a) Write a boolean expression for D(x, y), using relational expressions and
    boolean operators.
    (b) Let E be the set of even natural numbers which are greater than 2.
    1. Define E with words, using the expression ‘proper divisor’.
    2. Give the Zermelo definition of E, using the predicate D.

    (c) Write the Zermelo definition of each of the following sets, using the predicate D and a quantifier in each case.

    1. The set of prime numbers.
    2. The set of composite natural numbers.
    3. The set of natural numbers greater than 1.
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor
    Joined
    Oct 2009
    Posts
    5,561
    Thanks
    785
    There are several terms in your question that don't have a universally established meanings (at least not that I know of) and are probably specific for your course.

    (a) Write a boolean expression for D(x, y), using relational expressions and
    boolean operators.
    What is a relational expression? Also, what is a Zermelo definition?

    Finally, why don't you write your versions of the answers so we could discuss them, or at least describe your difficulties?
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Proper definition of the ratio a:b:c
    Posted in the Algebra Forum
    Replies: 2
    Last Post: August 25th 2011, 04:14 PM
  2. [SOLVED] Zermelo's stones
    Posted in the Advanced Math Topics Forum
    Replies: 2
    Last Post: August 3rd 2011, 06:36 AM
  3. relational algebra
    Posted in the Discrete Math Forum
    Replies: 2
    Last Post: March 16th 2009, 01:49 PM
  4. Relational proof
    Posted in the Discrete Math Forum
    Replies: 7
    Last Post: March 16th 2009, 01:38 PM
  5. Zermelo Universe from Notes on Set Theory
    Posted in the Discrete Math Forum
    Replies: 1
    Last Post: July 15th 2006, 11:13 AM

Search Tags


/mathhelpforum @mathhelpforum