So I was thinking of whether the following inductive statements are logically valid:
Say we have 2 statements, S_1 and S_2
\\ $For the base case,$ \ S_1 \ $is true, assuming$ \ S_1 \ $is true for the general case, then if$ \ S_2 \ $is true, then the inductive step for$ \ S_1 \ $is true$
\\...