Go backward to Output Condition Go up to Top Go forward to Logic Evaluator |
isNextPrime(n, p) : <=> n <= p /\ isPrime(p) /\ ~(exists n <= q < p: isPrime(q)) isPrime(p) : <=> 1 < p /\ forall 1 < n < p: n not | p n | m : <=> exists p: n*p = m.