Rigorous Reasoning

Concept · Deductive

Counterexample

A situation in which the premises of an argument are all true while the conclusion is false.

Why it matters

Producing a counterexample is one of the cleanest ways to show an argument is invalid.

Where this shows up

Units and lessons using this concept

Following the links will take you to the page where this term is introduced in context.

Related

Other concepts in Deductive

EntailmentProofSoundnessSubproof