| http://www.w3.org/ns/prov#value | - predicate logic predicate logic Printable View March 4th 2009, 01:23 PM thehollow89 predicate logic 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.
|
