If Φ⊢¬(ϕ→ψ) , show that Φ,¬ϕ and Φ, ψ are both inconsistent.
up vote
-1
down vote
favorite
So far I have shown that Φ, ψ is inconsistent:
If Φ⊢¬(ϕ→ψ) then Φ, ψ⊢¬(ϕ→ψ)
By the axiom ψ→ϕ→ψ and Modus Ponens, Φ, ψ⊢ϕ→ψ.
So Φ, ψ is inconsistent.
Could anyone help me to prove that Φ,¬ϕ is inconsistent?
propositional-calculus
add a comment |
up vote
-1
down vote
favorite
So far I have shown that Φ, ψ is inconsistent:
If Φ⊢¬(ϕ→ψ) then Φ, ψ⊢¬(ϕ→ψ)
By the axiom ψ→ϕ→ψ and Modus Ponens, Φ, ψ⊢ϕ→ψ.
So Φ, ψ is inconsistent.
Could anyone help me to prove that Φ,¬ϕ is inconsistent?
propositional-calculus
I do not get the gist of your question: what is $Phi$, $phi$ and $psi$? Which conditions hold for them? $Phi,psivdashlnot(phitopsi)$ is the only condition you have assumed?
– Hanul Jeon
Nov 18 at 8:06
I missed a step here. If Φ⊢¬(ϕ→ψ) then Φ, ψ⊢¬(ϕ→ψ).
– mdryizk
Nov 18 at 8:25
Hint: $Phivdash philand lnotpsi$.
– Hanul Jeon
Nov 18 at 8:26
Thank you for the hint. I think i know what you are trying to tell me. But i'm looking for a proof using only ¬ and →.
– mdryizk
Nov 18 at 8:30
1
@mdryizk If you're looking for a proof in a particular formal system you should indicate this in your question.
– spaceisdarkgreen
Nov 18 at 8:48
add a comment |
up vote
-1
down vote
favorite
up vote
-1
down vote
favorite
So far I have shown that Φ, ψ is inconsistent:
If Φ⊢¬(ϕ→ψ) then Φ, ψ⊢¬(ϕ→ψ)
By the axiom ψ→ϕ→ψ and Modus Ponens, Φ, ψ⊢ϕ→ψ.
So Φ, ψ is inconsistent.
Could anyone help me to prove that Φ,¬ϕ is inconsistent?
propositional-calculus
So far I have shown that Φ, ψ is inconsistent:
If Φ⊢¬(ϕ→ψ) then Φ, ψ⊢¬(ϕ→ψ)
By the axiom ψ→ϕ→ψ and Modus Ponens, Φ, ψ⊢ϕ→ψ.
So Φ, ψ is inconsistent.
Could anyone help me to prove that Φ,¬ϕ is inconsistent?
propositional-calculus
propositional-calculus
edited Nov 18 at 9:11
asked Nov 18 at 8:03
mdryizk
32
32
I do not get the gist of your question: what is $Phi$, $phi$ and $psi$? Which conditions hold for them? $Phi,psivdashlnot(phitopsi)$ is the only condition you have assumed?
– Hanul Jeon
Nov 18 at 8:06
I missed a step here. If Φ⊢¬(ϕ→ψ) then Φ, ψ⊢¬(ϕ→ψ).
– mdryizk
Nov 18 at 8:25
Hint: $Phivdash philand lnotpsi$.
– Hanul Jeon
Nov 18 at 8:26
Thank you for the hint. I think i know what you are trying to tell me. But i'm looking for a proof using only ¬ and →.
– mdryizk
Nov 18 at 8:30
1
@mdryizk If you're looking for a proof in a particular formal system you should indicate this in your question.
– spaceisdarkgreen
Nov 18 at 8:48
add a comment |
I do not get the gist of your question: what is $Phi$, $phi$ and $psi$? Which conditions hold for them? $Phi,psivdashlnot(phitopsi)$ is the only condition you have assumed?
– Hanul Jeon
Nov 18 at 8:06
I missed a step here. If Φ⊢¬(ϕ→ψ) then Φ, ψ⊢¬(ϕ→ψ).
– mdryizk
Nov 18 at 8:25
Hint: $Phivdash philand lnotpsi$.
– Hanul Jeon
Nov 18 at 8:26
Thank you for the hint. I think i know what you are trying to tell me. But i'm looking for a proof using only ¬ and →.
– mdryizk
Nov 18 at 8:30
1
@mdryizk If you're looking for a proof in a particular formal system you should indicate this in your question.
– spaceisdarkgreen
Nov 18 at 8:48
I do not get the gist of your question: what is $Phi$, $phi$ and $psi$? Which conditions hold for them? $Phi,psivdashlnot(phitopsi)$ is the only condition you have assumed?
– Hanul Jeon
Nov 18 at 8:06
I do not get the gist of your question: what is $Phi$, $phi$ and $psi$? Which conditions hold for them? $Phi,psivdashlnot(phitopsi)$ is the only condition you have assumed?
– Hanul Jeon
Nov 18 at 8:06
I missed a step here. If Φ⊢¬(ϕ→ψ) then Φ, ψ⊢¬(ϕ→ψ).
– mdryizk
Nov 18 at 8:25
I missed a step here. If Φ⊢¬(ϕ→ψ) then Φ, ψ⊢¬(ϕ→ψ).
– mdryizk
Nov 18 at 8:25
Hint: $Phivdash philand lnotpsi$.
– Hanul Jeon
Nov 18 at 8:26
Hint: $Phivdash philand lnotpsi$.
– Hanul Jeon
Nov 18 at 8:26
Thank you for the hint. I think i know what you are trying to tell me. But i'm looking for a proof using only ¬ and →.
– mdryizk
Nov 18 at 8:30
Thank you for the hint. I think i know what you are trying to tell me. But i'm looking for a proof using only ¬ and →.
– mdryizk
Nov 18 at 8:30
1
1
@mdryizk If you're looking for a proof in a particular formal system you should indicate this in your question.
– spaceisdarkgreen
Nov 18 at 8:48
@mdryizk If you're looking for a proof in a particular formal system you should indicate this in your question.
– spaceisdarkgreen
Nov 18 at 8:48
add a comment |
1 Answer
1
active
oldest
votes
up vote
0
down vote
accepted
From the same reasoning you used for the first part, $$ Phi,lnotphi vdash lnot psi to lnot phi.$$ By the contrapositive axiom (theorem? you haven't told us which system you are using... it seems clear that it's Hilbert style from context, but there are several commonly used versions of Axiom 3), $$ Phi,lnot phivdash (lnotpsito lnot phi)to(phito psi), $$ so by MP $$Phi,lnot phivdash phitopsi $$
add a comment |
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
up vote
0
down vote
accepted
From the same reasoning you used for the first part, $$ Phi,lnotphi vdash lnot psi to lnot phi.$$ By the contrapositive axiom (theorem? you haven't told us which system you are using... it seems clear that it's Hilbert style from context, but there are several commonly used versions of Axiom 3), $$ Phi,lnot phivdash (lnotpsito lnot phi)to(phito psi), $$ so by MP $$Phi,lnot phivdash phitopsi $$
add a comment |
up vote
0
down vote
accepted
From the same reasoning you used for the first part, $$ Phi,lnotphi vdash lnot psi to lnot phi.$$ By the contrapositive axiom (theorem? you haven't told us which system you are using... it seems clear that it's Hilbert style from context, but there are several commonly used versions of Axiom 3), $$ Phi,lnot phivdash (lnotpsito lnot phi)to(phito psi), $$ so by MP $$Phi,lnot phivdash phitopsi $$
add a comment |
up vote
0
down vote
accepted
up vote
0
down vote
accepted
From the same reasoning you used for the first part, $$ Phi,lnotphi vdash lnot psi to lnot phi.$$ By the contrapositive axiom (theorem? you haven't told us which system you are using... it seems clear that it's Hilbert style from context, but there are several commonly used versions of Axiom 3), $$ Phi,lnot phivdash (lnotpsito lnot phi)to(phito psi), $$ so by MP $$Phi,lnot phivdash phitopsi $$
From the same reasoning you used for the first part, $$ Phi,lnotphi vdash lnot psi to lnot phi.$$ By the contrapositive axiom (theorem? you haven't told us which system you are using... it seems clear that it's Hilbert style from context, but there are several commonly used versions of Axiom 3), $$ Phi,lnot phivdash (lnotpsito lnot phi)to(phito psi), $$ so by MP $$Phi,lnot phivdash phitopsi $$
answered Nov 18 at 9:01
spaceisdarkgreen
31.7k21552
31.7k21552
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%2f3003246%2fif-%25ce%25a6%25e2%258a%25a2%25c2%25ac%25cf%2595%25e2%2586%2592%25cf%2588-show-that-%25ce%25a6-%25c2%25ac%25cf%2595-and-%25ce%25a6-%25cf%2588-are-both-inconsistent%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
I do not get the gist of your question: what is $Phi$, $phi$ and $psi$? Which conditions hold for them? $Phi,psivdashlnot(phitopsi)$ is the only condition you have assumed?
– Hanul Jeon
Nov 18 at 8:06
I missed a step here. If Φ⊢¬(ϕ→ψ) then Φ, ψ⊢¬(ϕ→ψ).
– mdryizk
Nov 18 at 8:25
Hint: $Phivdash philand lnotpsi$.
– Hanul Jeon
Nov 18 at 8:26
Thank you for the hint. I think i know what you are trying to tell me. But i'm looking for a proof using only ¬ and →.
– mdryizk
Nov 18 at 8:30
1
@mdryizk If you're looking for a proof in a particular formal system you should indicate this in your question.
– spaceisdarkgreen
Nov 18 at 8:48