Predicate logic/Arithmetical predicates/Formulate/3/Exercise
Appearance
Formulate the following unary predicates within the natural numbers , only using equality, addition, multiplication and logical connectives and quantifiers.
- is a multiple of .
- is larger than .
- is smaller than .
- is a square number.
- is not a square number.
- is a prime number.
- is not a prime number.
- is the product of exactly two distinct prime numbers.