I can use symbolic logic to prove basic algebraic concepts, I can use proof by contradiction in appropriate contexts, I can analyze famous mathematical arguments