Reputation
Next privilege 125 Rep.
Vote down
Badges
5
Newest
 Student
Impact
~226 people reached

  • 0 posts edited
  • 0 helpful flags
  • 7 votes cast
Nov
6
awarded  Editor
Nov
6
awarded  Student
Oct
6
comment Problem understanding why $P \implies (Q \implies P) \equiv T$
I haven't seen "the Deduction Theorem" before, at least not that it was mentioned. All that the book mentioned was that this derivation is based on Natural Deduction. It's a university intro book to logic and doesn't seem to elaborate much on anything.
Oct
1
accepted Problem understanding why $P \implies (Q \implies P) \equiv T$
Oct
1
comment Problem understanding why $P \implies (Q \implies P) \equiv T$
I get it now but could you elaborate more on the last part of the excerpt from the book please? About the assumption $B$ being used vacuously?
Oct
1
comment Problem understanding why $P \implies (Q \implies P) \equiv T$
It is Natural Deduction, my apologies. And if I got this right, then this is (equivalent to) self-equivalence ($A \implies A \equiv T$) and it doesn't matter what $B$ is as $A \implies A$ is a tautology as soon as $A$ was assumed to be true?
Oct
1
asked Problem understanding why $P \implies (Q \implies P) \equiv T$
Dec
9
awarded  Scholar
Dec
9
accepted Homeomorphism confusion
Dec
5
comment Homeomorphism confusion
I just realized what my mistake was.. Thanks a lot :)
Dec
5
comment Homeomorphism confusion
I'm assuming so, I honestly don't know.
Dec
5
asked Homeomorphism confusion
Feb
9
awarded  Supporter
Jun
26
awarded  Autobiographer