Answer by Matthew Leingang for Confusion on using "unless" more than once in...
I agree with Lee Mosher's characterization of the sentence. I'll offer up this suggested rewrite:No amount of testing can show that a computer program produces the desired output for all input values,...
View ArticleAnswer by Lee Mosher for Confusion on using "unless" more than once in...
I would just rewrite the highlighted sentence like this:If the correctness of a computer program has not been established by some means, then no amount of testing can show that it produces the desired...
View ArticleClik here to view.
Confusion on using "unless" more than once in proposition
I'm having trouble interpreting this highlighted sentence (from Discrete Math Rosen Textbook) properly due to using unless more than once in this sentence. I understand that q unless (not p) is the...
View ArticleAnswer by user21820 for Confusion on using "unless" more than once in...
You shouldn't be rephrasing "unless" using "implies". Instead, simply replace it with "or", and it works:EITHER the correctness of a computer program is establishedOR no amount of testing can show that...
View ArticleAnswer by Acccumulation for Confusion on using "unless" more than once in...
There is essentially an "and" between the two "unless" phrases:Note that unless (the correctness of a computer program is established and every input value is tested), no amount of testing can show...
View Article