Proof and Disproof in Formal Logic