Define a set S by 1 ∈ S, and if x, y ∈ S, then x(−y) ∈ S. (a) What is |S|? (b) Prove by structural induction that every
Posted: Thu Jul 07, 2022 2:23 pm
Define a set S by 1 ∈ S, and if x, y ∈ S, then x(−y) ∈ S.
(a) What is |S|?
(b) Prove by structural induction that every element of S isodd. (Note, a proof by exhaustion would be quicker, which isunusual for proofs by exhaustion, but I’m asking for a proof usingstructural induction.)
(a) What is |S|?
(b) Prove by structural induction that every element of S isodd. (Note, a proof by exhaustion would be quicker, which isunusual for proofs by exhaustion, but I’m asking for a proof usingstructural induction.)