How do you generally prove (and disprove) If-then theorems?

Printable View