Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The Universe of Discourse

  1. Feb 15, 2007 #1
    if the problem is asking :

    express the problem in first
    order predicate calculus. The Universe of Discourse
    for all variables is “anything”

    what does this mean? what are they asking for?

    the problem they are referring to is to prove that if n is a positive integer, thenn is even if and only if 7n + 4 is even ( which i solved)
  2. jcsd
  3. Feb 16, 2007 #2


    User Avatar
    Gold Member

    It sounds like they want you to translate the English statements in your proof into statements in first-order predicate calculus that have the same meaning. What's the first statement, your one assumption?

    n is a positive integer.

    Do you know one way to express that in FOPC?

    I think the Universe of Discourse part is there to specify that they don't want you to use, say, the set of integers as your universe. That is, you have to express "n is an integer" using a predicate.

    By the bye, it would help if you could post your proof so that we can see what predicates you might want to choose and such.
    Last edited: Feb 16, 2007
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook