Title: A primer of formal logic,