You are watching: If a is a rational number and b is an irrational number, then the sum a + b is
I have actually a feeling that other is amiss there. Ns feel like using contrapositive proof here might be better but I"m no sure because I"m brand-new to the people of proofs.
I desire to deal with your "I don"t see exactly how the contrapositive works here" comment.
Let $invernessgangshow.netbbI = invernessgangshow.netbbR setminus invernessgangshow.netbbQ$ (the set of irrational numbers).
You desire to display that
$$ a+b in invernessgangshow.netbbI implies a in invernessgangshow.netbbI vee b in invernessgangshow.netbbI$$
Before switching to the contrapositive, keep in mind that because that $a in invernessgangshow.netbbR$$$ lnot (a in invernessgangshow.netbbI) Leftrightarrow a in (invernessgangshow.netbbR setminus invernessgangshow.netbbI) Leftrightarrow a in invernessgangshow.netbbQ$$
Now, the contrapositive becomes
$$ lnot (a in invernessgangshow.netbbI vee b in invernessgangshow.netbbI) implies lnot (a+b in invernessgangshow.netbbI)$$which, in irradiate of the monitoring above, is$$ a in invernessgangshow.netbbQ land b in invernessgangshow.netbbQ implies a+b in invernessgangshow.netbbQ$$
which is a specifying property the $invernessgangshow.netbbQ$.
Remember likewise that $lnot (P vee Q) = (lnot P) land (lnot Q)$.
answered Aug 17 "20 at 13:52
7,6671515 silver badges3535 bronze title
include a comment |
The declare you"re trying to prove is $forall a,b, (a+b otin BbbQ implies a otin BbbQ ext or b otin BbbQ)$. This is just the symbolic translate in of the declare "for every $a,b$, if $a+b$ is irrational climate atleast among $a$ or $b$ is irrational".
Here, the declare $X$ is "$a+b otin BbbQ$", and also the explain $Y$ is "$a otin BbbQ ext or b otin BbbQ$". So, the contrapositive of "for every $a,b$ ($X implies Y$)" is "for every $a,b$ $( eg Y implies eg X)$", i beg your pardon in this situation is:
For every $a,b$ we have ($ain BbbQ$ and $bin BbbQ implies a+b in BbbQ$)
and this is what girlfriend argued.
reply Aug 17 "20 at 13:55
28.5k22 yellow badges1717 silver- badges4646 bronze badges
include a comment |
Thanks for contributing an answer to invernessgangshow.net Stack Exchange!Please be certain to answer the question. Administer details and share your research!
But avoid …Asking for help, clarification, or responding to other answers.Making statements based on opinion; ago them increase with recommendations or an individual experience.
Use invernessgangshow.netJax to style equations. invernessgangshow.netJax reference.
To find out more, view our tips on writing good answers.
See more: Hatchback/Liftgate Hinge Problems Of Ford Explorer Rear Window Hinge Recall
Sign up or log in
sign up making use of Google
authorize up making use of Facebook
sign up utilizing Email and Password
Post together a guest
email Required, however never shown
Post together a guest
Required, yet never shown
short article Your price Discard
Not the answer you're looking for? Browse various other questions tagged solution-verification or ask your very own question.
The Overflow Blog
Featured on Meta
If $a$ and also $b$ are both irrational, is $a+b$ also irrational?
Proof that irrational number are thick
proof by contrapositive: Prove for all $x,yininvernessgangshow.netbbR,$ if $x$ is rational and also $y$ is irrational climate $x+y$ is irrational.
Prove by induction the $3^4n+2+1$ is divisible by $5$ when $n ge 0.$
Proving the if $invernessgangshow.netrmker, RTR^-1= invernessgangshow.netrmker, RSR^-1$ then $invernessgangshow.netrmker T = invernessgangshow.netrmkerS$.
Proving the it's difficult to prove irrationality of all genuine numbers.
just how to prove the if c is an odd integer that divides the sum and the distinction of 2 integers a and b, climate c divides both a and also b?
warm Network inquiries more hot inquiries
subscribe to RSS
concern feed To subscribe to this RSS feed, copy and also paste this URL into your RSS reader.
stack Exchange Network
site architecture / logo design © 2021 stack Exchange Inc; user contributions license is granted under cc by-sa. Rev2021.10.28.40592