0
$\begingroup$

I am taking a course on logical equations and I found this exercise while reading about proofs and how to prove a given sentence and what kind of mistakes usually occur when you are trying to prove something specific. Here is a problem:

You are asked to find the mistake in the following proofs. Each proof is given for the following statement: Prove that the sum of any two rational numbers is a rational number itself.

On the same exercise there is the following proof for the statement:

Two rational numbers sum up into a rational number when added. So if R and S are rational numbers then R+S is a rational number too. This completes the proof.

I know this proof is not correct because it is based on a fallacy of presumption.

However with this one:

Proof: We assume we have the rational numbers 1/4 and 1/2. The sum of 1/2+1/4 is 3/4 which is a rational number. This completes the proof.

I also know it's not a legit proof, I just can't figure out why.

$\endgroup$
4
  • 1
    $\begingroup$ I tend to jokingly call this "proof by example" $\endgroup$
    – AlexR
    Nov 15, 2013 at 14:24
  • 6
    $\begingroup$ “Every man wears glasses”. Proof: ”I wear glasses”. $\endgroup$
    – egreg
    Nov 15, 2013 at 14:25
  • $\begingroup$ The second proof tries to prove a general statement by taking a single example, which is false. Like @egreg said, if you say "I wear glasses" that does not mean that every man wears glasses. You could use mathematical induction. $\endgroup$ Nov 15, 2013 at 14:49
  • $\begingroup$ Idea-wise, I find the second proof very close to a correct proof. $\endgroup$
    – Adam
    Nov 22, 2013 at 1:09

2 Answers 2

2
$\begingroup$

It uses a hasty generalization, a fallacy that looks like this: $$\exists x \exists yPxy\to\forall x\forall yPxy,$$ which is not valid.

Let $Pxy$ be "$x+y$ is a rational number".

$\endgroup$
2
$\begingroup$

We cannot prove a generalized statement with a single case. So ${1\over 4}+{1\over 2}={3\over 4}$ is not a proof that the sum of two rational numbers is a rational number. We have to consider all rational numbers and show that the statement is true no matter which two rational numbers we sum.

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .