# Predicate logic/Arithmetical predicates/Formulate/3/Exercise

Jump to navigation
Jump to search

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.