Natural Deductive Logic: RULES #2 (vI, vE, DN, RAA)

[@FlexThoseMuscles]

If anyone is wondering the justification for line n at 3:45. It's not k-l but l-m.

[@kamilisaintleger8346]

I’m wondering why you didn’t just take care of c in line 5, based on it being another potential modus ponens? Is it because you wanted to specifically demonstrate the new rules?

[@tartak17]

Thanks for the video!

[@ryandwight4823]

Thank you!

[@milaszczecina5553]

This is a video and I can be a bit wild 😂

[@violet.dreyer]

Is there another name for reiterate? (R) Is that what CP is (Conditional Proof) or is that a different rule?

[@timbarnbou372]

Thanks