A Primer in Formal Logic