Note that "a necessary condition fors is r" means r is a necessary condition for s. Consider the following statement. A necessary condition for this computer program to be correct is that it not produce error messages during translation. Which of the following expresses the statement in if-then form? If this computer program is not correct, then it does not produce error messages during translation. If this computer program does not produce error messages during translation, then it is not correct. If this computer program is correct, then it does not produce error messages during translation. If this computer program is correct, then it produces error messages during translation. If this computer program produces error messages during translation, then it is correct. Consider the following statement. va € Z, (a-1) is not an integer. (a) Select the correct negation for this statement. For every integer a, is not an integer. a-1 a For every integer a, ³ - 1 is an integer. There is an integer a such that a-1 is an integer. a a-1 There is an integer a such that is not an integer. (b) Is the given statement true or false? If the statement is true, enter TRUE; if the statement is false, enter a value of a that could be used as part of a counterexample that justifies its falseness.