Go backward to Program Specification Go up to Top Go forward to Output Condition |
Definition: n is a number.
isNumber(n) : <=> n in N
Definition: p is the next prime number after n.
isNextPrime(n, p) : <=> isNumber(p) /\ isPrime(p) /\ isNextP(n, p).