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

Homework Help: Sybolizing with quantifiers

  1. Oct 28, 2012 #1
    1. The problem statement, all variables and given/known data
    For a homework assignment I got the following as a question:

    Symbolize the following using quantifiers, predicates and logical connectives.

    For all integers n, 2n+1 is an odd integer.

    2. Relevant equations

    3. The attempt at a solution

    O(x): x is odd
    domain for x is all integers
    ∀xO(2x + 1)

    Would this be correct?
  2. jcsd
  3. Oct 28, 2012 #2
    I got an answer for this from another member of the forum

    Domain for x is all integers
    O(x): x is odd
    ∀x∀y((y=2x + 1) → O(y))
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook