Consider the following assignment statement in a c program, where x and y are integer variables, and x
has been initialized to a valid integer value:
y = x + 1;
is it always true that after the execution of this line of code, y is 1 larger than x? try to prove or disprove this statement.

int main(){

int x = -5;

int y = x+1;

printf("%d",y)

return 0;

}

// Out : -4

Explanation:

In this test you can disprove the statement as the integer numbers can take negative values e.g.(Ζ=(-5,-4,...04,5...)) . If the X value is less or equal than 1 the statement of "Y is 1 larger than X" is going to be false.

I hope it's help you.

answer; i do believe that the correct answer to the above statement is craig should use scheduling