Reductio ad absurdum is a type of logical argument where one assumes a claim for the sake of argument, arrives at an "absurd" result (often a contradiction), and then concludes that the original assumption must have been wrong, since it led to this absurd result.

The fallacy may be demonstrated in formal logic. In less formal settings, making a reductio ad absurdum argument may be called by taking an assumption to its logical extreme (or limit).

When showing a logical contradiction, it usually takes the form:

• Assume P is true.
• From this assumption, deduce that Q is true.
• Also deduce that Q is false.
• Thus, P implies both Q and not Q (a contradiction, which is necessarily false).
• Use modus tollens to conclude that P itself must be false.

## Example: there are an infinite number of prime numbers

An example of this type of argument (from number theory) follows. It proves that there are infinitely many prime numbers by first assuming the opposite. Note that the term number is being used here to refer to positive integers only.

• Assume there are finitely many prime numbers; in particular, say there are N of them.
• We can therefore list all N prime numbers: 2, 3, 5, 7, ..., pN. (Note that the proof doesn't rely on knowing the actual value of any of the primes. The list given here is merely to illustrate the argument.)
• Consider a number q that is one greater than the product of all these prime numbers: q = (2 × 3 × 5 × 7 × ··· × pN) + 1.
• Clearly q is greater than pN and thus cannot be prime (since pN was the largest prime).
• This means that q must be divisible by one of our listed primes. (By definition, if q is greater than 1 and not prime, it must be divisible by some number other than 1 and itself. But by a separate argument not reproduced here, every non-prime number greater than 1 must be divisible by at least one prime. Thus it suffices to check whether q is divisible by any of our prime numbers.)
• Note that q is not divisible by any of the listed primes, since the remainder, when q is divided by any the primes, will always be 1. (For example, q divided by 2 gives the quotient 3 × 5 × 7 × ··· × pN, with remainder 1.)
• Thus assuming finitely many primes we have deduced that there is a number q that is both divisible by one of our primes and not divisible by any of our primes. This is a contradiction.
• Therefore, we have to reject our original assumption. There must be infinitely many prime numbers.

(This is essentially Euclid's proof of the same result from The Elements.)

## Counter-apologetics

See Can God create a rock so heavy that he can't lift it? for an example in the context of counter-apologetics (the claim being assumed is that God is all-powerful).

The problem with this type of argument is that the "absurdity" of the argument must be beyond doubt. If the consequence is simply unlikely, then the argument doesn't necessarily work. Also, if the conclusion is merely unpleasant, it is not necessarily absurd but only an appeal to consequences. For example:

• If God doesn't exist, then life arose by purely natural means.
• This is absurd (read: very, very unlikely).
• Therefore, God exists.

Well... no. Ignoring the fact that the premise is faulty (as it is possible, however unlikely, that life arose by something other than purely natural means) the absurdity is not shown. Simply doubting the conclusion is not sufficient. Usually both sides in a debate must agree that a particular outcome is absurd, or the absurdity must be demonstrated, for the argument to be persuasive, otherwise it is only an argumentum ad lapidem, which is an unjustified assertion of absurdity.

However, if the goal is to demonstrate that an assertion is untenable (i.e., not believable, as opposed to not true), then deducing a merely unlikely statement may lead to the desired conclusion. This is, in fact, how arguments based on statistical inference work.