Question on exclusive or vs inclusive or
up vote
1
down vote
favorite
Here's what my textbook asks me to prove:
From algebra, recall that, if a prime $p$ divides a product $ab$, then
$p$ must divide either $a$ or $b$. Use this to prove that $sqrt{p}$
is irrational for any prime $p$.
I know the proof follows exactly like the proof of irrationality of $sqrt{2}$. But my question is, what if $b=a$? Then the statement would follow like "if $p$ divides $a^2$ then either $p$ divides $a$ or $p$ divides $a$" which is false.
I wonder if I am doing some mistake here because the following video https://youtu.be/uQ6KSt94jVY seems to prove the same statement. I think it should be an "inclusive or" there.
logic
add a comment |
up vote
1
down vote
favorite
Here's what my textbook asks me to prove:
From algebra, recall that, if a prime $p$ divides a product $ab$, then
$p$ must divide either $a$ or $b$. Use this to prove that $sqrt{p}$
is irrational for any prime $p$.
I know the proof follows exactly like the proof of irrationality of $sqrt{2}$. But my question is, what if $b=a$? Then the statement would follow like "if $p$ divides $a^2$ then either $p$ divides $a$ or $p$ divides $a$" which is false.
I wonder if I am doing some mistake here because the following video https://youtu.be/uQ6KSt94jVY seems to prove the same statement. I think it should be an "inclusive or" there.
logic
How is the statement false? $ p | a lor p | a equiv p |a $. And $p | a^2 equiv p |a$ (for p prime, of course)
– F.Carette
Nov 22 at 10:31
@F.Carette it's an exclusive or.. "exclusive or" is true if exactly one of the statements are true. In this particular case, both would be true.
– Ashish K
Nov 22 at 10:34
I see no reason to think that it's an exclusive or.
– Andreas Blass
Nov 22 at 17:37
add a comment |
up vote
1
down vote
favorite
up vote
1
down vote
favorite
Here's what my textbook asks me to prove:
From algebra, recall that, if a prime $p$ divides a product $ab$, then
$p$ must divide either $a$ or $b$. Use this to prove that $sqrt{p}$
is irrational for any prime $p$.
I know the proof follows exactly like the proof of irrationality of $sqrt{2}$. But my question is, what if $b=a$? Then the statement would follow like "if $p$ divides $a^2$ then either $p$ divides $a$ or $p$ divides $a$" which is false.
I wonder if I am doing some mistake here because the following video https://youtu.be/uQ6KSt94jVY seems to prove the same statement. I think it should be an "inclusive or" there.
logic
Here's what my textbook asks me to prove:
From algebra, recall that, if a prime $p$ divides a product $ab$, then
$p$ must divide either $a$ or $b$. Use this to prove that $sqrt{p}$
is irrational for any prime $p$.
I know the proof follows exactly like the proof of irrationality of $sqrt{2}$. But my question is, what if $b=a$? Then the statement would follow like "if $p$ divides $a^2$ then either $p$ divides $a$ or $p$ divides $a$" which is false.
I wonder if I am doing some mistake here because the following video https://youtu.be/uQ6KSt94jVY seems to prove the same statement. I think it should be an "inclusive or" there.
logic
logic
asked Nov 22 at 10:26
Ashish K
775513
775513
How is the statement false? $ p | a lor p | a equiv p |a $. And $p | a^2 equiv p |a$ (for p prime, of course)
– F.Carette
Nov 22 at 10:31
@F.Carette it's an exclusive or.. "exclusive or" is true if exactly one of the statements are true. In this particular case, both would be true.
– Ashish K
Nov 22 at 10:34
I see no reason to think that it's an exclusive or.
– Andreas Blass
Nov 22 at 17:37
add a comment |
How is the statement false? $ p | a lor p | a equiv p |a $. And $p | a^2 equiv p |a$ (for p prime, of course)
– F.Carette
Nov 22 at 10:31
@F.Carette it's an exclusive or.. "exclusive or" is true if exactly one of the statements are true. In this particular case, both would be true.
– Ashish K
Nov 22 at 10:34
I see no reason to think that it's an exclusive or.
– Andreas Blass
Nov 22 at 17:37
How is the statement false? $ p | a lor p | a equiv p |a $. And $p | a^2 equiv p |a$ (for p prime, of course)
– F.Carette
Nov 22 at 10:31
How is the statement false? $ p | a lor p | a equiv p |a $. And $p | a^2 equiv p |a$ (for p prime, of course)
– F.Carette
Nov 22 at 10:31
@F.Carette it's an exclusive or.. "exclusive or" is true if exactly one of the statements are true. In this particular case, both would be true.
– Ashish K
Nov 22 at 10:34
@F.Carette it's an exclusive or.. "exclusive or" is true if exactly one of the statements are true. In this particular case, both would be true.
– Ashish K
Nov 22 at 10:34
I see no reason to think that it's an exclusive or.
– Andreas Blass
Nov 22 at 17:37
I see no reason to think that it's an exclusive or.
– Andreas Blass
Nov 22 at 17:37
add a comment |
3 Answers
3
active
oldest
votes
up vote
0
down vote
accepted
Usually, in mathematical and logical contexts, "or" has to be interpreted as an inclusive disjunction, unless it is indicated otherwise.
Note that $3$ (a prime number) divides not only $27 cdot 9$, but also $27$ and $9$. Hence, it is clear that the correct interpretation of the "or" in the statement "if a prime $p$ divides a product $ab$, then $p$ must divide either $a$ or $b$" is the "inclusive or", even when you consider the case where $a neq b$.
add a comment |
up vote
0
down vote
"if $p$ divides $a^2$ then either $p$ divides $a$ or $p$ divides $a$" is correct if and only if the or is an inclusive "or". Hence you are correct.
add a comment |
up vote
0
down vote
The statement " if $p$ divides $a^2$ then $p$ divides $a$ or $p$ divides $a$ "
is not problematic.
for example $7$ divides $35^2$ so $7$ divides $35$ or $7$ divides $35$ is a true statement. This OR is inclusive and as you know $Plor P equiv P$.
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',
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%2f3008961%2fquestion-on-exclusive-or-vs-inclusive-or%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
3 Answers
3
active
oldest
votes
3 Answers
3
active
oldest
votes
active
oldest
votes
active
oldest
votes
up vote
0
down vote
accepted
Usually, in mathematical and logical contexts, "or" has to be interpreted as an inclusive disjunction, unless it is indicated otherwise.
Note that $3$ (a prime number) divides not only $27 cdot 9$, but also $27$ and $9$. Hence, it is clear that the correct interpretation of the "or" in the statement "if a prime $p$ divides a product $ab$, then $p$ must divide either $a$ or $b$" is the "inclusive or", even when you consider the case where $a neq b$.
add a comment |
up vote
0
down vote
accepted
Usually, in mathematical and logical contexts, "or" has to be interpreted as an inclusive disjunction, unless it is indicated otherwise.
Note that $3$ (a prime number) divides not only $27 cdot 9$, but also $27$ and $9$. Hence, it is clear that the correct interpretation of the "or" in the statement "if a prime $p$ divides a product $ab$, then $p$ must divide either $a$ or $b$" is the "inclusive or", even when you consider the case where $a neq b$.
add a comment |
up vote
0
down vote
accepted
up vote
0
down vote
accepted
Usually, in mathematical and logical contexts, "or" has to be interpreted as an inclusive disjunction, unless it is indicated otherwise.
Note that $3$ (a prime number) divides not only $27 cdot 9$, but also $27$ and $9$. Hence, it is clear that the correct interpretation of the "or" in the statement "if a prime $p$ divides a product $ab$, then $p$ must divide either $a$ or $b$" is the "inclusive or", even when you consider the case where $a neq b$.
Usually, in mathematical and logical contexts, "or" has to be interpreted as an inclusive disjunction, unless it is indicated otherwise.
Note that $3$ (a prime number) divides not only $27 cdot 9$, but also $27$ and $9$. Hence, it is clear that the correct interpretation of the "or" in the statement "if a prime $p$ divides a product $ab$, then $p$ must divide either $a$ or $b$" is the "inclusive or", even when you consider the case where $a neq b$.
answered Nov 22 at 10:38
Taroccoesbrocco
4,92761838
4,92761838
add a comment |
add a comment |
up vote
0
down vote
"if $p$ divides $a^2$ then either $p$ divides $a$ or $p$ divides $a$" is correct if and only if the or is an inclusive "or". Hence you are correct.
add a comment |
up vote
0
down vote
"if $p$ divides $a^2$ then either $p$ divides $a$ or $p$ divides $a$" is correct if and only if the or is an inclusive "or". Hence you are correct.
add a comment |
up vote
0
down vote
up vote
0
down vote
"if $p$ divides $a^2$ then either $p$ divides $a$ or $p$ divides $a$" is correct if and only if the or is an inclusive "or". Hence you are correct.
"if $p$ divides $a^2$ then either $p$ divides $a$ or $p$ divides $a$" is correct if and only if the or is an inclusive "or". Hence you are correct.
answered Nov 22 at 10:32
Vee Hua Zhi
776124
776124
add a comment |
add a comment |
up vote
0
down vote
The statement " if $p$ divides $a^2$ then $p$ divides $a$ or $p$ divides $a$ "
is not problematic.
for example $7$ divides $35^2$ so $7$ divides $35$ or $7$ divides $35$ is a true statement. This OR is inclusive and as you know $Plor P equiv P$.
add a comment |
up vote
0
down vote
The statement " if $p$ divides $a^2$ then $p$ divides $a$ or $p$ divides $a$ "
is not problematic.
for example $7$ divides $35^2$ so $7$ divides $35$ or $7$ divides $35$ is a true statement. This OR is inclusive and as you know $Plor P equiv P$.
add a comment |
up vote
0
down vote
up vote
0
down vote
The statement " if $p$ divides $a^2$ then $p$ divides $a$ or $p$ divides $a$ "
is not problematic.
for example $7$ divides $35^2$ so $7$ divides $35$ or $7$ divides $35$ is a true statement. This OR is inclusive and as you know $Plor P equiv P$.
The statement " if $p$ divides $a^2$ then $p$ divides $a$ or $p$ divides $a$ "
is not problematic.
for example $7$ divides $35^2$ so $7$ divides $35$ or $7$ divides $35$ is a true statement. This OR is inclusive and as you know $Plor P equiv P$.
answered Nov 22 at 10:38
Mohammad Riazi-Kermani
40.4k41958
40.4k41958
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.
Some of your past answers have not been well-received, and you're in danger of being blocked from answering.
Please pay close attention to the following guidance:
- 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.
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%2f3008961%2fquestion-on-exclusive-or-vs-inclusive-or%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
How is the statement false? $ p | a lor p | a equiv p |a $. And $p | a^2 equiv p |a$ (for p prime, of course)
– F.Carette
Nov 22 at 10:31
@F.Carette it's an exclusive or.. "exclusive or" is true if exactly one of the statements are true. In this particular case, both would be true.
– Ashish K
Nov 22 at 10:34
I see no reason to think that it's an exclusive or.
– Andreas Blass
Nov 22 at 17:37