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.)
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
-
- Site Admin
- Posts: 899603
- Joined: Mon Aug 02, 2021 8:13 am