Logic: The Essentials