1. Limited time only! Sign up for a free 30min personal tutor trial with Chegg Tutors
    Dismiss Notice
Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

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))
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook