Loading Open Internet
    Hi, I’m learning about logic and how to use proofs properly.Does this proof by contradiction make sense?