I'm currently studying Discrete Mathematics right now on my own. These proofs are a good summary of what I've been doing. Right now I'm working through the How To Prove It Book by Daniel J. Velleman. I find your channel to be very helpful. Thank you for your videos!👋
In the first example of proof by contradiction, "If a is rational and ab is irrational, then b is irrational" Isn't starting with the assumption b is rational and coming to the conclusion ab is rational instead of irrational, same as proof by contrapositive? a is rational and ab is irrational -> b is irrational (P -> Q) b is rational -> a is rational and ab is rational (NOT Q -> NOT P)
good video but Im ngl idk how you proved these, If you could show your answer actually works that would be great. For a^2 not divisible by 4, if you could show how your final proof actually proves it is then that would be great.