Title: The essentials of logic