∼p∨(∼p∧q)≡∼p∧∼q , prove logical equivalence
$begingroup$
Our teacher gave us this equivalence to prove in our final exam but almost all of us said that it was not provable and we did not solve it and now we asked him (The Teacher) and he says that it is provable. I was unable to prove it even by using truth table and he asked us to prove it by using the theorems for logical equivalence.
So now we have our grades at stake so please solve it so that I may know that either I'm wrong or the Teacher is!
The theorems are:
Commutative laws: p∧q ≡ q∧p , p∨q ≡ q∨p
Associative laws: (p∧q)∧r ≡ p∧(q∧r) , (p∨q)∨r ≡ p∨(q∨r)
Distributive laws: p∧(q∨r) ≡ (p∧q)∨(p∧r), p∨(q∧r) ≡ (p∨q)∧(p∨r)
Identity laws: p∧t ≡ p , p∨c ≡ p
Negation laws: p∨∼p ≡ t , p∧∼p ≡ c
Double negative law: ∼(∼p) ≡ p
Idempotent laws: p∧p ≡ p , p∨p ≡ p
Universal bound laws: p∨t≡t ,p∧c≡c
De Morgan’s laws: ∼(p∧q) ≡ ∼p∨∼q ,∼(p∨q) ≡ ∼p∧∼q
Absorption laws: p∨(p∧q) ≡ p ,p∧(p∨q) ≡ p
Negations of t and c: ∼t ≡ c , ∼c ≡ t
discrete-mathematics logic
$endgroup$
add a comment |
$begingroup$
Our teacher gave us this equivalence to prove in our final exam but almost all of us said that it was not provable and we did not solve it and now we asked him (The Teacher) and he says that it is provable. I was unable to prove it even by using truth table and he asked us to prove it by using the theorems for logical equivalence.
So now we have our grades at stake so please solve it so that I may know that either I'm wrong or the Teacher is!
The theorems are:
Commutative laws: p∧q ≡ q∧p , p∨q ≡ q∨p
Associative laws: (p∧q)∧r ≡ p∧(q∧r) , (p∨q)∨r ≡ p∨(q∨r)
Distributive laws: p∧(q∨r) ≡ (p∧q)∨(p∧r), p∨(q∧r) ≡ (p∨q)∧(p∨r)
Identity laws: p∧t ≡ p , p∨c ≡ p
Negation laws: p∨∼p ≡ t , p∧∼p ≡ c
Double negative law: ∼(∼p) ≡ p
Idempotent laws: p∧p ≡ p , p∨p ≡ p
Universal bound laws: p∨t≡t ,p∧c≡c
De Morgan’s laws: ∼(p∧q) ≡ ∼p∨∼q ,∼(p∨q) ≡ ∼p∧∼q
Absorption laws: p∨(p∧q) ≡ p ,p∧(p∨q) ≡ p
Negations of t and c: ∼t ≡ c , ∼c ≡ t
discrete-mathematics logic
$endgroup$
$begingroup$
Well, thanks a lot to everyone for clarifying this point. in fact, I did the same in my paper. I proved that it was not holding logical equivalence and then proved that it was equivalent to (not)p. But the teacher still says that his question is correct and it holds logical equivalence.
$endgroup$
– Waqad Arshad
Jan 12 at 8:55
add a comment |
$begingroup$
Our teacher gave us this equivalence to prove in our final exam but almost all of us said that it was not provable and we did not solve it and now we asked him (The Teacher) and he says that it is provable. I was unable to prove it even by using truth table and he asked us to prove it by using the theorems for logical equivalence.
So now we have our grades at stake so please solve it so that I may know that either I'm wrong or the Teacher is!
The theorems are:
Commutative laws: p∧q ≡ q∧p , p∨q ≡ q∨p
Associative laws: (p∧q)∧r ≡ p∧(q∧r) , (p∨q)∨r ≡ p∨(q∨r)
Distributive laws: p∧(q∨r) ≡ (p∧q)∨(p∧r), p∨(q∧r) ≡ (p∨q)∧(p∨r)
Identity laws: p∧t ≡ p , p∨c ≡ p
Negation laws: p∨∼p ≡ t , p∧∼p ≡ c
Double negative law: ∼(∼p) ≡ p
Idempotent laws: p∧p ≡ p , p∨p ≡ p
Universal bound laws: p∨t≡t ,p∧c≡c
De Morgan’s laws: ∼(p∧q) ≡ ∼p∨∼q ,∼(p∨q) ≡ ∼p∧∼q
Absorption laws: p∨(p∧q) ≡ p ,p∧(p∨q) ≡ p
Negations of t and c: ∼t ≡ c , ∼c ≡ t
discrete-mathematics logic
$endgroup$
Our teacher gave us this equivalence to prove in our final exam but almost all of us said that it was not provable and we did not solve it and now we asked him (The Teacher) and he says that it is provable. I was unable to prove it even by using truth table and he asked us to prove it by using the theorems for logical equivalence.
So now we have our grades at stake so please solve it so that I may know that either I'm wrong or the Teacher is!
The theorems are:
Commutative laws: p∧q ≡ q∧p , p∨q ≡ q∨p
Associative laws: (p∧q)∧r ≡ p∧(q∧r) , (p∨q)∨r ≡ p∨(q∨r)
Distributive laws: p∧(q∨r) ≡ (p∧q)∨(p∧r), p∨(q∧r) ≡ (p∨q)∧(p∨r)
Identity laws: p∧t ≡ p , p∨c ≡ p
Negation laws: p∨∼p ≡ t , p∧∼p ≡ c
Double negative law: ∼(∼p) ≡ p
Idempotent laws: p∧p ≡ p , p∨p ≡ p
Universal bound laws: p∨t≡t ,p∧c≡c
De Morgan’s laws: ∼(p∧q) ≡ ∼p∨∼q ,∼(p∨q) ≡ ∼p∧∼q
Absorption laws: p∨(p∧q) ≡ p ,p∧(p∨q) ≡ p
Negations of t and c: ∼t ≡ c , ∼c ≡ t
discrete-mathematics logic
discrete-mathematics logic
edited Jan 12 at 8:24
Waqad Arshad
asked Jan 12 at 8:19
Waqad ArshadWaqad Arshad
52
52
$begingroup$
Well, thanks a lot to everyone for clarifying this point. in fact, I did the same in my paper. I proved that it was not holding logical equivalence and then proved that it was equivalent to (not)p. But the teacher still says that his question is correct and it holds logical equivalence.
$endgroup$
– Waqad Arshad
Jan 12 at 8:55
add a comment |
$begingroup$
Well, thanks a lot to everyone for clarifying this point. in fact, I did the same in my paper. I proved that it was not holding logical equivalence and then proved that it was equivalent to (not)p. But the teacher still says that his question is correct and it holds logical equivalence.
$endgroup$
– Waqad Arshad
Jan 12 at 8:55
$begingroup$
Well, thanks a lot to everyone for clarifying this point. in fact, I did the same in my paper. I proved that it was not holding logical equivalence and then proved that it was equivalent to (not)p. But the teacher still says that his question is correct and it holds logical equivalence.
$endgroup$
– Waqad Arshad
Jan 12 at 8:55
$begingroup$
Well, thanks a lot to everyone for clarifying this point. in fact, I did the same in my paper. I proved that it was not holding logical equivalence and then proved that it was equivalent to (not)p. But the teacher still says that his question is correct and it holds logical equivalence.
$endgroup$
– Waqad Arshad
Jan 12 at 8:55
add a comment |
4 Answers
4
active
oldest
votes
$begingroup$
I'd say you're right. Using 10, $∼p∨(∼p∧q)≡∼p$, but $∼p not equiv ∼p∧q.$
$endgroup$
add a comment |
$begingroup$
If $p$ is false, the left side is true since it's an "or" with one term true (since $p$ false, (not p) is true). But suppose at the same time that $q$ is true. Then the right is false, since it's an "and" with one term false (since $q$ is true, (not q) is false). So it isn't an equivalence.
$endgroup$
add a comment |
$begingroup$
If $p$ is false and $q$ is true then $neg pwedgeneg q$ is false and $neg pvee(neg pwedge q)$ is true.
So there no logical equivalence.
$endgroup$
add a comment |
$begingroup$
Hint
Yes you are right. This is not an equivalence. In fact $$∼p∨(∼p∧q)≡∼p$$using a truth table.
$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%2f3070694%2f%25e2%2588%25bcp%25e2%2588%25a8%25e2%2588%25bcp%25e2%2588%25a7q%25e2%2589%25a1%25e2%2588%25bcp%25e2%2588%25a7%25e2%2588%25bcq-prove-logical-equivalence%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
4 Answers
4
active
oldest
votes
4 Answers
4
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
I'd say you're right. Using 10, $∼p∨(∼p∧q)≡∼p$, but $∼p not equiv ∼p∧q.$
$endgroup$
add a comment |
$begingroup$
I'd say you're right. Using 10, $∼p∨(∼p∧q)≡∼p$, but $∼p not equiv ∼p∧q.$
$endgroup$
add a comment |
$begingroup$
I'd say you're right. Using 10, $∼p∨(∼p∧q)≡∼p$, but $∼p not equiv ∼p∧q.$
$endgroup$
I'd say you're right. Using 10, $∼p∨(∼p∧q)≡∼p$, but $∼p not equiv ∼p∧q.$
answered Jan 12 at 8:46
PatricioPatricio
3257
3257
add a comment |
add a comment |
$begingroup$
If $p$ is false, the left side is true since it's an "or" with one term true (since $p$ false, (not p) is true). But suppose at the same time that $q$ is true. Then the right is false, since it's an "and" with one term false (since $q$ is true, (not q) is false). So it isn't an equivalence.
$endgroup$
add a comment |
$begingroup$
If $p$ is false, the left side is true since it's an "or" with one term true (since $p$ false, (not p) is true). But suppose at the same time that $q$ is true. Then the right is false, since it's an "and" with one term false (since $q$ is true, (not q) is false). So it isn't an equivalence.
$endgroup$
add a comment |
$begingroup$
If $p$ is false, the left side is true since it's an "or" with one term true (since $p$ false, (not p) is true). But suppose at the same time that $q$ is true. Then the right is false, since it's an "and" with one term false (since $q$ is true, (not q) is false). So it isn't an equivalence.
$endgroup$
If $p$ is false, the left side is true since it's an "or" with one term true (since $p$ false, (not p) is true). But suppose at the same time that $q$ is true. Then the right is false, since it's an "and" with one term false (since $q$ is true, (not q) is false). So it isn't an equivalence.
answered Jan 12 at 8:44
coffeemathcoffeemath
2,8451415
2,8451415
add a comment |
add a comment |
$begingroup$
If $p$ is false and $q$ is true then $neg pwedgeneg q$ is false and $neg pvee(neg pwedge q)$ is true.
So there no logical equivalence.
$endgroup$
add a comment |
$begingroup$
If $p$ is false and $q$ is true then $neg pwedgeneg q$ is false and $neg pvee(neg pwedge q)$ is true.
So there no logical equivalence.
$endgroup$
add a comment |
$begingroup$
If $p$ is false and $q$ is true then $neg pwedgeneg q$ is false and $neg pvee(neg pwedge q)$ is true.
So there no logical equivalence.
$endgroup$
If $p$ is false and $q$ is true then $neg pwedgeneg q$ is false and $neg pvee(neg pwedge q)$ is true.
So there no logical equivalence.
answered Jan 12 at 8:46
drhabdrhab
101k544130
101k544130
add a comment |
add a comment |
$begingroup$
Hint
Yes you are right. This is not an equivalence. In fact $$∼p∨(∼p∧q)≡∼p$$using a truth table.
$endgroup$
add a comment |
$begingroup$
Hint
Yes you are right. This is not an equivalence. In fact $$∼p∨(∼p∧q)≡∼p$$using a truth table.
$endgroup$
add a comment |
$begingroup$
Hint
Yes you are right. This is not an equivalence. In fact $$∼p∨(∼p∧q)≡∼p$$using a truth table.
$endgroup$
Hint
Yes you are right. This is not an equivalence. In fact $$∼p∨(∼p∧q)≡∼p$$using a truth table.
answered Jan 12 at 8:48
Mostafa AyazMostafa Ayaz
15.6k3939
15.6k3939
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%2f3070694%2f%25e2%2588%25bcp%25e2%2588%25a8%25e2%2588%25bcp%25e2%2588%25a7q%25e2%2589%25a1%25e2%2588%25bcp%25e2%2588%25a7%25e2%2588%25bcq-prove-logical-equivalence%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
$begingroup$
Well, thanks a lot to everyone for clarifying this point. in fact, I did the same in my paper. I proved that it was not holding logical equivalence and then proved that it was equivalent to (not)p. But the teacher still says that his question is correct and it holds logical equivalence.
$endgroup$
– Waqad Arshad
Jan 12 at 8:55