Title: A Primer of Formal Logic