Answer to Question #239077 in Discrete Mathematics for Vic

Question

StatethevalueofxafterthestatementifP(x)thenx:=1

b)x=1.

a)x=0.

isexecuted,whereP(x)isthestatement“x>1,”ifthe

valueofxwhenthisstatementisreachedis

c)x=2.

Answer 1

Let us state the value of $x$ after the statement

$``$if $P(x)$ then "x:=1"",

where "P(x)=``x>1"," in the following cases:

a) If $x=0,$ the statemet $P(x),$ that is "``0>1"" is false, and hence after the command $``$if $P(x)$ then "x:=1"" the value of $x$ is equal to 0.

b) If $x=1,$ the statemet $P(x),$ that is "``1>1"" is false, and hence after the command $``$if $P(x)$ then "x:=1"" the value of $x$ is equal to 1.

c) If $x=2,$ the statemet $P(x),$ that is "``2>1"" is true, and hence after the command $``$if $P(x)$ then "x:=1"" the value of $x$ is equal to 1.