Jump to content

Predicate logic/Arithmetical predicates/Formulate/3/Exercise

From Wikiversity

Formulate the following unary predicates within the natural numbers , only using equality, addition, multiplication and logical connectives and quantifiers.

  1. is a multiple of .
  2. is larger than .
  3. is smaller than .
  4. is a square number.
  5. is not a square number.
  6. is a prime number.
  7. is not a prime number.
  8. is the product of exactly two distinct prime numbers.