Logic: The Basics