Don't have Telegram yet? Try it now!
https://inquisitiveoutlet.com/2019/05/16/symbolic-logic-conditional-indirect-proofs-and-proving-theorems/
Symbolic Logic: Conditional/Indirect Proofs and Proving Theorems