A counterexample is a specific case that disproves a general statement or proposition by demonstrating an exception. It is a powerful tool in logic and mathematics for testing the validity of universal claims and refining theories.