While the premises may be true in an argument, the conclusion may or may not be correct, making the argument invalid. Example of an incorrect argument: Some New Yorkers are rude, some of them are artists, therefore some artists are rude.
A counterexample method is a powerful way to prove an argument’s conclusion to be invalid. You can use this method by: isolating the argument form and then constructing an argument with the same form that is obviously invalid.

The "counterexample method"

Communication

The counterexample method is effective at exposing the invalidity of deductive arguments.
<ol>
<li>Isolate the argument form in a simple, easy to digest form, like by replacing names with letters.</li>
<li>Create an analogy, a counterexample that substitutes the original argument, and it is a given that it would also be as invalid as the original argument’s conclusion</li>
<li>Reduce the new argument in it’s most barebones form by affirming the antecedent, that exposes the fallacy of the original argument.</li>
</ol>

Proving an argument is not valid

<UL><LI><a data-href="https://www.facebook.com/dialog/share?app_id=1107071669402313&amp;display=popup&amp;href=https%3A%2F%2Fwww.thoughtco.com%2Fprove-argument-invalid-by-counterexample-2670410%3Futm_source%3Dfacebook%26utm_medium%3Dsocial%26utm_campaign%3Dshareurlbuttons&amp;redirect_uri=https%3A%2F%2Fwww.thoughtco.com%2FfacebookShareRedirect.htm" data-network="facebook" title="Share on Facebook" dir="ltr">

Share
</a></LI><LI><a data-href="https://share.flipboard.com/bookmarklet/popout?v=2&amp;url=https%3A%2F%2Fwww.thoughtco.com%2Fprove-argument-invalid-by-counterexample-2670410%3Futm_source%3Dflipit%26utm_medium%3Dweb%26utm_campaign%3Dwidgets%26utm_content%3Dwww.thoughtco.com&amp;title=Refutation+by+Counterexample-A+Simple+Way+to+Refute+Bad+Arguments&amp;t=1599227503371" data-network="flipboard" title="Share on Flipboard" dir="ltr">

Flipboard
</a></LI><LI><a data-href="https://www.thoughtco.com/prove-argument-invalid-by-counterexample-2670410?utm_source=emailshare&amp;utm_medium=social&amp;utm_campaign=shareurlbuttons" data-network="emailshare" title="Email this article" dir="ltr">

Email
</a></LI></UL><figure><img src="https://www.thoughtco.com/thmb/nRFwUmTbwur-2RC1c5Q-6ZSCC1A=/768x0/filters:no_upscale():max_bytes(150000):strip_icc():format(webp)/debate-team-speaking-on-stage-579978065-59178d2e3df78c7a8c94b08f.jpg" srcset="https://www.thoughtco.com/thmb/u6r3vykhnjq9bq8lnJryCOBPepA=/300x0/filters:no_upscale():max_bytes(150000):strip_icc():format(webp)/debate-team-speaking-on-stage-579978065-59178d2e3df78c7a8c94b08f.jpg 300w, https://www.thoughtco.com/thmb/22QVrraHQF1ZDbWYcr_PnXglors=/417x0/filters:no_upscale():max_bytes(150000):strip_icc():format(webp)/debate-team-speaking-on-stage-579978065-59178d2e3df78c7a8c94b08f.jpg 417w, https://www.thoughtco.com/thmb/4ha4WVLtUSSSnXog7cuRIvSSyXo=/534x0/filters:no_upscale():max_bytes(150000):strip_icc():format(webp)/debate-team-speaking-on-stage-579978065-59178d2e3df78c7a8c94b08f.jpg 534w, https://www.thoughtco.com/thmb/nRFwUmTbwur-2RC1c5Q-6ZSCC1A=/768x0/filters:no_upscale():max_bytes(150000):strip_icc():format(webp)/debate-team-speaking-on-stage-579978065-59178d2e3df78c7a8c94b08f.jpg 768w" alt="Debate team speaking on stage" width="721" height="481"><figcaption dir="auto">Hill Street Studios / Getty Images</figcaption></figure><div>
Updated November 19, 2019
</div>
An argument is invalid if the conclusion doesn't follow necessarily from the <a href="https://www.thoughtco.com/premise-argument-1691662" data-component="link" data-source="inlineLink" data-type="internalLink" data-ordinal="1" dir="ltr">premises</a>.&nbsp;Whether or not the premises are actually true is irrelevant.&nbsp;So is whether or not the conclusion is true.&nbsp;The only question that matters is this: Is it&nbsp;possible&nbsp;for the premises to be true and the conclusion false?&nbsp;If this is possible, then the argument is invalid.
<h2 dir="ltr"> Proving Invalidity </h2>
The "counterexample method" is a powerful way of exposing what is wrong with an argument that is invalid.&nbsp;If we want to proceed methodically, there are two steps: 1) Isolate the argument form; 2) Construct&nbsp;an argument with the same form that is obviously invalid. This is the counterexample.

Let's take an example of a bad argument.
<OL><LI>Some New Yorkers are rude.</LI><LI>Some New Yorkers are artists.</LI><LI>Therefore Some artists are rude.</LI></OL><h3 dir="ltr"> Step 1: Isolate the Argument Form </h3>
This simply means replacing the key terms with&nbsp;letters, making sure that we do this in a consistent way.&nbsp;If we do this we get:
<OL><LI>Some N&nbsp;are R</LI><LI>Some N are A</LI><LI>Therefore some A are R</LI></OL><h3 dir="ltr"> Step 2: Create the counterexample </h3>
For instance:
<OL><LI>Some animals are fish.</LI><LI>Some animals are birds.</LI><LI>Therefore some fish are birds</LI></OL>
This is what is called a "substitution instance" of the argument form laid out in Step 1.&nbsp;There is an infinite number of these that one could dream up.&nbsp;Every one of them will be invalid since the argument form is invalid.&nbsp;But for a counterexample to be effective, the invalidity must shine forth.&nbsp;That is, the truth of the premises and the falsity of the conclusion must be beyond question.

Consider this substitution instance:
<OL><LI>Some men are politicians</LI><LI>Some men are Olympic champions</LI><LI>Therefore some politicians&nbsp;are Olympic champions.</LI></OL>
The weakness of this attempted counterexample is that the conclusion isn't obviously false.&nbsp;It may be false right now, but one can easily imagine an Olympic champion going into politics.

Isolating the argument form is like boiling an argument down to its bare bones--its logical form.&nbsp;When we did this above, we replaced specific terms like "New Yorker" with letters.&nbsp;Sometimes, though, the argument is revealed by using letters to replace whole sentences or sentence-like phrases. Consider this argument, for instance:
<OL><LI>If it rains on election day the Democrats will win.</LI><LI>It won't rain on election day.</LI><LI>Therefore the Democrats won't win.</LI></OL>
This is a perfect example of a fallacy known as "affirming the <a href="https://www.thoughtco.com/what-is-antecedent-grammar-1689099" data-component="link" data-source="inlineLink" data-type="internalLink" data-ordinal="1" dir="ltr">antecedent</a>."&nbsp;Reducing the argument&nbsp;to its <a href="https://www.thoughtco.com/what-is-an-argument-250305" data-component="link" data-source="inlineLink" data-type="internalLink" data-ordinal="2" dir="ltr">argument form</a>, we get:
<OL><LI>If R then D</LI><LI>Not R</LI><LI>Therefore not D</LI></OL>
Here, the letters don't stand for descriptive words like "rude" or "artist". Instead, they stand for an expression like, "the Democrats will win" and "it will rain on election day."&nbsp;These expressions can themselves be either true or false.&nbsp;But the basic method is the same. We show the argument s invalid by coming up with a substitution instance where the premises are obviously true and the conclusion is obviously false.&nbsp;For instance:
<OL><LI>If Obama is older than&nbsp;90, then he's older than 9.</LI><LI>Obama is not older than 90.</LI><LI>Therefore Obama is not older than 9.</LI></OL>
The counterexample method is effective at exposing the invalidity of deductive arguments.&nbsp;It doesn't really work on inductive arguments since, strictly speaking, these are always <a href="https://www.thoughtco.com/what-is-a-logical-fallacy-250341" data-component="link" data-source="inlineLink" data-type="internalLink" data-ordinal="1" dir="ltr">invalid</a>.

Learn about what invalid arguments are and how to prove one as such using various counterexamples.

<ul><li><a data-href="https://www.facebook.com/dialog/share?app_id=1107071669402313&amp;display=popup&amp;href=https%3A%2F%2Fwww.thoughtco.com%2Fprove-argument-invalid-by-counterexample-2670410%3Futm_source%3Dfacebook%26utm_medium%3Dsocial%26utm_campaign%3Dshareurlbuttons&amp;redirect_uri=https%3A%2F%2Fwww.thoughtco.com%2FfacebookShareRedirect.htm" data-network="facebook" dir="ltr" title="Share on Facebook">Share </a> </li><li><a data-href="https://share.flipboard.com/bookmarklet/popout?v=2&amp;url=https%3A%2F%2Fwww.thoughtco.com%2Fprove-argument-invalid-by-counterexample-2670410%3Futm_source%3Dflipit%26utm_medium%3Dweb%26utm_campaign%3Dwidgets%26utm_content%3Dwww.thoughtco.com&amp;title=Refutation+by+Counterexample-A+Simple+Way+to+Refute+Bad+Arguments&amp;t=1599227503371" data-network="flipboard" dir="ltr" title="Share on Flipboard">Flipboard </a> </li><li><a data-href="https://www.thoughtco.com/prove-argument-invalid-by-counterexample-2670410?utm_source=emailshare&amp;utm_medium=social&amp;utm_campaign=shareurlbuttons" data-network="emailshare" dir="ltr" title="Email this article">Email </a> </li> </ul>

An argument is invalid if the conclusion doesn't follow necessarily from the <a data-component="link" data-ordinal="1" data-source="inlineLink" data-type="internalLink" dir="ltr" href="https://www.thoughtco.com/premise-argument-1691662">premises </a>. Whether or not the premises are actually true is irrelevant. So is whether or not the conclusion is true. The only question that matters is this: Is it possible  for the premises to be true and the conclusion false? If this is possible, then the argument is invalid.

The "counterexample method" is a powerful way of exposing what is wrong with an argument that is invalid. If we want to proceed methodically, there are two steps: 1) Isolate the argument form; 2) Construct an argument with the same form that is obviously invalid. This is the counterexample.

Let's take an example of a bad argument.

<ol><li>Some New Yorkers are rude. </li><li>Some New Yorkers are artists. </li><li>Therefore Some artists are rude. </li> </ol>

This simply means replacing the key terms with letters, making sure that we do this in a consistent way. If we do this we get:

<ol><li>Some N are R </li><li>Some N are A </li><li>Therefore some A are R </li> </ol>

<ol><li>Some animals are fish. </li><li>Some animals are birds. </li><li>Therefore some fish are birds </li> </ol>

This is what is called a "substitution instance" of the argument form laid out in Step 1. There is an infinite number of these that one could dream up. Every one of them will be invalid since the argument form is invalid. But for a counterexample to be effective, the invalidity must shine forth. That is, the truth of the premises and the falsity of the conclusion must be beyond question.

Consider this substitution instance:

<ol><li>Some men are politicians </li><li>Some men are Olympic champions </li><li>Therefore some politicians are Olympic champions. </li> </ol>

The weakness of this attempted counterexample is that the conclusion isn't obviously false. It may be false right now, but one can easily imagine an Olympic champion going into politics.

Isolating the argument form is like boiling an argument down to its bare bones--its logical form. When we did this above, we replaced specific terms like "New Yorker" with letters. Sometimes, though, the argument is revealed by using letters to replace whole sentences or sentence-like phrases. Consider this argument, for instance:

<ol><li>If it rains on election day the Democrats will win. </li><li>It won't rain on election day. </li><li>Therefore the Democrats won't win. </li> </ol>

This is a perfect example of a fallacy known as "affirming the <a data-component="link" data-ordinal="1" data-source="inlineLink" data-type="internalLink" dir="ltr" href="https://www.thoughtco.com/what-is-antecedent-grammar-1689099">antecedent </a>." Reducing the argument to its <a data-component="link" data-ordinal="2" data-source="inlineLink" data-type="internalLink" dir="ltr" href="https://www.thoughtco.com/what-is-an-argument-250305">argument form </a>, we get:

<ol><li>If R then D </li><li>Not R </li><li>Therefore not D </li> </ol>

Here, the letters don't stand for descriptive words like "rude" or "artist". Instead, they stand for an expression like, "the Democrats will win" and "it will rain on election day." These expressions can themselves be either true or false. But the basic method is the same. We show the argument s invalid by coming up with a substitution instance where the premises are obviously true and the conclusion is obviously false. For instance:

<ol><li>If Obama is older than 90, then he's older than 9. </li><li>Obama is not older than 90. </li><li>Therefore Obama is not older than 9. </li> </ol>

The counterexample method is effective at exposing the invalidity of deductive arguments. It doesn't really work on inductive arguments since, strictly speaking, these are always <a data-component="link" data-ordinal="1" data-source="inlineLink" data-type="internalLink" dir="ltr" href="https://www.thoughtco.com/what-is-a-logical-fallacy-250341">invalid </a>.

Bite‑sized knowledge
to upgrade
your career

Refutation by Counterexample-A Simple Way to Refute Bad Arguments

The "counterexample method"

Proving an argument is not valid

False Premise: When Arguments Are Built on Bad Foundations - Effectiviology

When People Rely on Beliefs Rather Than Logic – Effectiviology

The Argument from Incredulity: How People Explain What They Don't Understand

Bite‑sized knowledgeto upgradeyour career

Refutation by Counterexample-A Simple Way to Refute Bad Arguments

The "counterexample method"

Proving an argument is not valid

False Premise: When Arguments Are Built on Bad Foundations - Effectiviology

When People Rely on Beliefs Rather Than Logic – Effectiviology

The Argument from Incredulity: How People Explain What They Don't Understand

Bite‑sized knowledge
to upgrade
your career