110 reputation
5
bio website nasware.wordpress.com
location Cairo, Egypt
age 20
visits member for 3 years, 9 months
seen Nov 24 at 14:01

Just a random guy who happens to be interested in programming.


Nov
6
awarded  Editor
Nov
6
awarded  Student
Nov
6
revised If $f: X \rightarrow Y$ then $f$ is a bijective function from $X$ to the image of $f$
added 91 characters in body
Nov
6
comment If $f: X \rightarrow Y$ then $f$ is a bijective function from $X$ to the image of $f$
@GitGud My bad, I didn't know how to write a title for this specific question. Any guidelines will help
Nov
6
asked If $f: X \rightarrow Y$ then $f$ is a bijective function from $X$ to the image of $f$
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