Formal Logic In Simple Terms