Title: Proof and Disproof in Formal Logic