Proof by Cases in Formal Logic