Page 1 of 1
Consider the closure Cl(I, O) where I = {2} and O contains just two operations on integers: input vars output var x + y
Posted: Mon May 02, 2022 5:03 pm
by answerhappygod
- Consider The Closure Cl I O Where I 2 And O Contains Just Two Operations On Integers Input Vars Output Var X Y 1 (72.46 KiB) Viewed 34 times
Consider the closure Cl(I, O) where I = {2} and O contains just two operations on integers: input vars output var x + y and input vars output var X Y Prove that Cl(1, 0) = {2n: n ≥ 0Vn<0}. Do so as required below: (a) For C1(1, 0) {2n : n ≥ 0 V n < 0} do induction over the closure. (b) For Cl(I, O) 2 {2n: n ≥ 0 Vn< 0} produce a derivation for the arbitrary 2n = {2n: n ≥ 0Vn<0}. -