INTRODUCING LOGIC