Determining and justifying the validity of an argumentIs “$n$ is an integer and $fracnn+1$ is an integer” true or false? Prove that if $m$ and $n$ are positive integers, and $x$ is a real number, then: $ceiling(fracceiling(x)+nm) = ceiling(fracx+nm)$A simple floor function conditional proofStatement and Proposed NegationsWhat is the contra-positive of an equality.Truth value of a false negationDiscrete Mathematics, Predicates and NegationDetermining the order of quantified statement after negationNegating the statementProof by contradiction involving positive integer prime numbers
How do I extract a value from a time formatted value in excel?
How easy is it to start Magic from scratch?
Anatomically Correct Strange Women In Ponds Distributing Swords
Is expanding the research of a group into machine learning as a PhD student risky?
What does 算不上 mean in 算不上太美好的日子?
Why does indent disappear in lists?
Do sorcerers' Subtle Spells require a skill check to be unseen?
Customer Requests (Sometimes) Drive Me Bonkers!
System.debug(JSON.Serialize(o)) Not longer shows full string
What is the intuitive meaning of having a linear relationship between the logs of two variables?
Why not increase contact surface when reentering the atmosphere?
How to be diplomatic in refusing to write code that breaches the privacy of our users
Is HostGator storing my password in plaintext?
Is exact Kanji stroke length important?
How does buying out courses with grant money work?
How does Loki do this?
Applicability of Single Responsibility Principle
What happens if you roll doubles 3 times then land on "Go to jail?"
Failed to fetch jessie backports repository
How to check is there any negative term in a large list?
Pole-zeros of a real-valued causal FIR system
Trouble understanding the speech of overseas colleagues
Return the Closest Prime Number
How can a function with a hole (removable discontinuity) equal a function with no hole?
Determining and justifying the validity of an argument
Is “$n$ is an integer and $fracnn+1$ is an integer” true or false? Prove that if $m$ and $n$ are positive integers, and $x$ is a real number, then: $ceiling(fracceiling(x)+nm) = ceiling(fracx+nm)$A simple floor function conditional proofStatement and Proposed NegationsWhat is the contra-positive of an equality.Truth value of a false negationDiscrete Mathematics, Predicates and NegationDetermining the order of quantified statement after negationNegating the statementProof by contradiction involving positive integer prime numbers
$begingroup$
Context: Question made up by uni lecturer
Original statement: There exists two positive real numbers $x$ and $y$ such that for all positive integers $z$, $fracxy>z$.
So the question was to find the negation of the statement, and then determine whether the original statement or its negation was true.
I found its negation to be: For all positive real numbers $x$ and $y$, there exists a positive integer $z$ such that $fracxyle z$.
The lecturer's solution to the question says that the negation is true since for any positive reals $x$ and $y$, you can choose $z$ to equal the ceiling of $fracxy$.
When I attempted the question myself, I said that the original statement is true because you can take $x=z+1$ (which would be a positive integer that still belongs to the set of all positive real numbers) and $y=1$ (which is a positive real number), as $fracxy=fracz+11=z+1>z$.
Can someone please help me to see the error in my answer.
Thanks
discrete-mathematics
$endgroup$
add a comment |
$begingroup$
Context: Question made up by uni lecturer
Original statement: There exists two positive real numbers $x$ and $y$ such that for all positive integers $z$, $fracxy>z$.
So the question was to find the negation of the statement, and then determine whether the original statement or its negation was true.
I found its negation to be: For all positive real numbers $x$ and $y$, there exists a positive integer $z$ such that $fracxyle z$.
The lecturer's solution to the question says that the negation is true since for any positive reals $x$ and $y$, you can choose $z$ to equal the ceiling of $fracxy$.
When I attempted the question myself, I said that the original statement is true because you can take $x=z+1$ (which would be a positive integer that still belongs to the set of all positive real numbers) and $y=1$ (which is a positive real number), as $fracxy=fracz+11=z+1>z$.
Can someone please help me to see the error in my answer.
Thanks
discrete-mathematics
$endgroup$
add a comment |
$begingroup$
Context: Question made up by uni lecturer
Original statement: There exists two positive real numbers $x$ and $y$ such that for all positive integers $z$, $fracxy>z$.
So the question was to find the negation of the statement, and then determine whether the original statement or its negation was true.
I found its negation to be: For all positive real numbers $x$ and $y$, there exists a positive integer $z$ such that $fracxyle z$.
The lecturer's solution to the question says that the negation is true since for any positive reals $x$ and $y$, you can choose $z$ to equal the ceiling of $fracxy$.
When I attempted the question myself, I said that the original statement is true because you can take $x=z+1$ (which would be a positive integer that still belongs to the set of all positive real numbers) and $y=1$ (which is a positive real number), as $fracxy=fracz+11=z+1>z$.
Can someone please help me to see the error in my answer.
Thanks
discrete-mathematics
$endgroup$
Context: Question made up by uni lecturer
Original statement: There exists two positive real numbers $x$ and $y$ such that for all positive integers $z$, $fracxy>z$.
So the question was to find the negation of the statement, and then determine whether the original statement or its negation was true.
I found its negation to be: For all positive real numbers $x$ and $y$, there exists a positive integer $z$ such that $fracxyle z$.
The lecturer's solution to the question says that the negation is true since for any positive reals $x$ and $y$, you can choose $z$ to equal the ceiling of $fracxy$.
When I attempted the question myself, I said that the original statement is true because you can take $x=z+1$ (which would be a positive integer that still belongs to the set of all positive real numbers) and $y=1$ (which is a positive real number), as $fracxy=fracz+11=z+1>z$.
Can someone please help me to see the error in my answer.
Thanks
discrete-mathematics
discrete-mathematics
asked yesterday
Ruby PaRuby Pa
376
376
add a comment |
add a comment |
2 Answers
2
active
oldest
votes
$begingroup$
The problem with your reasoning is the order. There exist $x,y$ positive integers such that for all positive integers $z$ we have $fracxy>z$, so first you must pick an $x$ and a $y$, and then you must test whether $fracxy>z$ for every positive integer $z$. Therefore you can't define $x=z+1$ as when you pick $x$ you don't know $z$ yet.
$endgroup$
add a comment |
$begingroup$
"There exists two positive real numbers $x$ and $y$ such that for all positive integer $z$ : $dfrac x y > z$"
The intuition says that it is False. $dfrac x y$ is a positive real; thus, the statement amounts to asserting that there is a real that is greater than every integer, which is not.
You reasoning is wrong because you have swapped the choice of the numbers : you start from $z$ and choose $x$ and $y$ accordingly.
The negation of the original statement is : $forall x forall y exists z (dfrac y y le z)$.
Thus, choose $x$ and $y$ positive whatever and what you get is a new positive real $dfrac x y$.
Now, you have to choose an integer $z$ (obviously positive) that is greater-or-equal to $dfrac x y$.
And this must be always possible, because $dfrac x y$ is a number $r.r_1 r_2 r_3 ldots$.
Consider as $z$ the number $r+1$ and it's done.
$endgroup$
add a comment |
Your Answer
StackExchange.ifUsing("editor", function ()
return StackExchange.using("mathjaxEditing", function ()
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix)
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
);
);
, "mathjax-editing");
StackExchange.ready(function()
var channelOptions =
tags: "".split(" "),
id: "69"
;
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function()
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled)
StackExchange.using("snippets", function()
createEditor();
);
else
createEditor();
);
function createEditor()
StackExchange.prepareEditor(
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader:
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
,
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
);
);
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3163151%2fdetermining-and-justifying-the-validity-of-an-argument%23new-answer', 'question_page');
);
Post as a guest
Required, but never shown
2 Answers
2
active
oldest
votes
2 Answers
2
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
The problem with your reasoning is the order. There exist $x,y$ positive integers such that for all positive integers $z$ we have $fracxy>z$, so first you must pick an $x$ and a $y$, and then you must test whether $fracxy>z$ for every positive integer $z$. Therefore you can't define $x=z+1$ as when you pick $x$ you don't know $z$ yet.
$endgroup$
add a comment |
$begingroup$
The problem with your reasoning is the order. There exist $x,y$ positive integers such that for all positive integers $z$ we have $fracxy>z$, so first you must pick an $x$ and a $y$, and then you must test whether $fracxy>z$ for every positive integer $z$. Therefore you can't define $x=z+1$ as when you pick $x$ you don't know $z$ yet.
$endgroup$
add a comment |
$begingroup$
The problem with your reasoning is the order. There exist $x,y$ positive integers such that for all positive integers $z$ we have $fracxy>z$, so first you must pick an $x$ and a $y$, and then you must test whether $fracxy>z$ for every positive integer $z$. Therefore you can't define $x=z+1$ as when you pick $x$ you don't know $z$ yet.
$endgroup$
The problem with your reasoning is the order. There exist $x,y$ positive integers such that for all positive integers $z$ we have $fracxy>z$, so first you must pick an $x$ and a $y$, and then you must test whether $fracxy>z$ for every positive integer $z$. Therefore you can't define $x=z+1$ as when you pick $x$ you don't know $z$ yet.
answered yesterday
Floris ClaassensFloris Claassens
1,14527
1,14527
add a comment |
add a comment |
$begingroup$
"There exists two positive real numbers $x$ and $y$ such that for all positive integer $z$ : $dfrac x y > z$"
The intuition says that it is False. $dfrac x y$ is a positive real; thus, the statement amounts to asserting that there is a real that is greater than every integer, which is not.
You reasoning is wrong because you have swapped the choice of the numbers : you start from $z$ and choose $x$ and $y$ accordingly.
The negation of the original statement is : $forall x forall y exists z (dfrac y y le z)$.
Thus, choose $x$ and $y$ positive whatever and what you get is a new positive real $dfrac x y$.
Now, you have to choose an integer $z$ (obviously positive) that is greater-or-equal to $dfrac x y$.
And this must be always possible, because $dfrac x y$ is a number $r.r_1 r_2 r_3 ldots$.
Consider as $z$ the number $r+1$ and it's done.
$endgroup$
add a comment |
$begingroup$
"There exists two positive real numbers $x$ and $y$ such that for all positive integer $z$ : $dfrac x y > z$"
The intuition says that it is False. $dfrac x y$ is a positive real; thus, the statement amounts to asserting that there is a real that is greater than every integer, which is not.
You reasoning is wrong because you have swapped the choice of the numbers : you start from $z$ and choose $x$ and $y$ accordingly.
The negation of the original statement is : $forall x forall y exists z (dfrac y y le z)$.
Thus, choose $x$ and $y$ positive whatever and what you get is a new positive real $dfrac x y$.
Now, you have to choose an integer $z$ (obviously positive) that is greater-or-equal to $dfrac x y$.
And this must be always possible, because $dfrac x y$ is a number $r.r_1 r_2 r_3 ldots$.
Consider as $z$ the number $r+1$ and it's done.
$endgroup$
add a comment |
$begingroup$
"There exists two positive real numbers $x$ and $y$ such that for all positive integer $z$ : $dfrac x y > z$"
The intuition says that it is False. $dfrac x y$ is a positive real; thus, the statement amounts to asserting that there is a real that is greater than every integer, which is not.
You reasoning is wrong because you have swapped the choice of the numbers : you start from $z$ and choose $x$ and $y$ accordingly.
The negation of the original statement is : $forall x forall y exists z (dfrac y y le z)$.
Thus, choose $x$ and $y$ positive whatever and what you get is a new positive real $dfrac x y$.
Now, you have to choose an integer $z$ (obviously positive) that is greater-or-equal to $dfrac x y$.
And this must be always possible, because $dfrac x y$ is a number $r.r_1 r_2 r_3 ldots$.
Consider as $z$ the number $r+1$ and it's done.
$endgroup$
"There exists two positive real numbers $x$ and $y$ such that for all positive integer $z$ : $dfrac x y > z$"
The intuition says that it is False. $dfrac x y$ is a positive real; thus, the statement amounts to asserting that there is a real that is greater than every integer, which is not.
You reasoning is wrong because you have swapped the choice of the numbers : you start from $z$ and choose $x$ and $y$ accordingly.
The negation of the original statement is : $forall x forall y exists z (dfrac y y le z)$.
Thus, choose $x$ and $y$ positive whatever and what you get is a new positive real $dfrac x y$.
Now, you have to choose an integer $z$ (obviously positive) that is greater-or-equal to $dfrac x y$.
And this must be always possible, because $dfrac x y$ is a number $r.r_1 r_2 r_3 ldots$.
Consider as $z$ the number $r+1$ and it's done.
edited yesterday
answered yesterday
Mauro ALLEGRANZAMauro ALLEGRANZA
67.5k449117
67.5k449117
add a comment |
add a comment |
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3163151%2fdetermining-and-justifying-the-validity-of-an-argument%23new-answer', 'question_page');
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
-discrete-mathematics