316 reputation
419
bio website
location
age
visits member for 3 years, 3 months
seen Jun 2 at 17:31

Oct
4
awarded  Popular Question
Jul
30
awarded  Notable Question
Jul
2
awarded  Curious
May
16
comment Shape of contour of Laplacian
Thanks a lot, I finally got what the question aimed at, I was very close!
May
16
comment Shape of contour of Laplacian
should be into a circle?
May
16
asked Shape of contour of Laplacian
May
4
asked Does infinite tableau branch mean satisfiable formula?
May
2
accepted Find a right angle triangle in with 3 vertices and one parameter
May
1
asked Find a right angle triangle in with 3 vertices and one parameter
May
1
asked Equation with k describing a circle
Apr
26
revised Understanding $\forall x$ as for each or for all
added 17 characters in body
Apr
26
asked Understanding $\forall x$ as for each or for all
Apr
26
asked Interpretation order of quantifiers in first order logic
Apr
26
accepted Hilbert System with propositional logic $p \rightarrow q,\neg q \vdash \neg p$
Apr
24
comment Hilbert System with propositional logic $p \rightarrow q,\neg q \vdash \neg p$
While for ¬¬p→(p→q), it is just about applying A1 wit MP as you did above, ¬¬p→p is the hard bit whose expansion gets too big and I can't reach an end
Apr
24
comment Hilbert System with propositional logic $p \rightarrow q,\neg q \vdash \neg p$
Yep, I aim to write a formal proof, but approaches and strategies in this case are very accepted rather than a straight answer. I have been spending over 2 hours so far to understand what I am doing wrong by doing the substitutions in A3
Apr
24
asked Hilbert System with propositional logic $p \rightarrow q,\neg q \vdash \neg p$
Apr
24
comment Hilbert proof systems with hypothesis
I am very sorry, my mistake in A3
Apr
24
revised Hilbert proof systems with hypothesis
edited body
Apr
24
comment Hilbert proof systems with hypothesis
Do I have to use both p, and -p to prove q