Learning Logic: Critical Thinking with Intuitive Notation