I have to express this using quantifiers, divisibility, = <= <, etc. “If a natural number is odd, then all its divisors are odd.”
I was thinking of, for all 2x+1, where x is a natural number, if 2x+1 is divisible by some value y, then y=2n+1 where n is a natural number. Not sure how to put it into a predicate logic and what not. Any help?