Title: A primer of formal logic