I read some answers on here, but I wanted some input on what happens if I try a proof and get a weird outcome.
I tried proving this by taking the contrapositive which is: if x+y is rational then $x$ is irrational or $y$ is rational
Let $x+y=\frac{P}{Q}$ for some integers $P,Q$
$$x = \frac{P}{Q} – y$$
$$x = \frac{Py-PQ}{Q}$$
(this shows that $x$ is actually rational – which contradicts my contrapositive statement?)
What does it mean when I find a contradiction when trying to prove the contrapositive statement? How should I proceed from here? Any tips would be appreciated $-$ I'm pretty new to proofs.
Best Answer
You are trying to proof by contrapositive that for all $x,y\in\mathbb{R},$ if $x$ is rational and $y$ is irrational then $x+y$ is irrational.
The contrapositive of this statement is
Using logic notation, let $P,Q,R$ be statements, note that
$$P \to (Q \vee R) \iff (P \wedge \neg Q) \to R.$$
Hence to prove this statement, you can suppose $P$ and $\neg Q$, and derive $R.$ And you can do it using the proof by contradiction, you assume that $P$ and $\neg Q$ are true and $R$ is false and then derive a contradiction. This proves that $(P \wedge \neg Q) \to R$ is true, which is equal to the contrapositive we were ask to prove. Then we are done.