previous up next
Go backward to Program Specification
Go up to Top
Go forward to Output Condition
RISC-Linz logo

Input and Output Conditions

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).

Author: Wolfgang Schreiner
Last Modification: October 6, 1999

previous up next