Note that “a sufficient condition for s is r” means r is a sufficient condition for s and that “a necessary condition for s is r” means r is a necessary condition for s. Rewrite the statement in if-then form.
Some programming languages use statements of the form “r unless sn” to mean that as long as s does not happen, then r will happen. More formally:
Definition: If r and s are statements,
r unlesss means if ~s then r.
Exercise
A necessary condition for this computer program to be correct is that it not produce error messages during translation.
We need at least 10 more requests to produce the solution.
0 / 10 have requested this problem solution
The more requests, the faster the answer.