Page 1 of 1
Consider the closure CI(IO) where I = {2} and contains just two operations on integers: input vars output var +y and inp
Posted: Mon May 02, 2022 5:01 pm
by 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 44 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},