Consider the closure CI(IO) where I = {2} and contains just two operations on integers: input vars output var +y and inp

[answerhappygod]

Consider The Closure Ci Io Where I 2 And Contains Just Two Operations On Integers Input Vars Output Var Y And Inp 1 (22.17 KiB) Viewed 42 times

Consider the closure CI(IO) where I = {2} and contains just two operations on integers: input vars output var +y and input vars output var - y Prove that CI(7,0) = {2n: n20 Vn D 0}. Do so as required below: (a) (3 MARKS) For CITO) S {2n: n 20 Vn<0} do induction over the closure (b) (3 MARKS) For CI(1,0) 2 {2n : n > Ovn < 0) produce a derivation for the arbitrary 2n € 2n : n 20 Vn<0},