Freewind
Reputation
735
Next privilege 1,000 Rep.
Create new tags
 Oct 26 awarded Great Question Oct 19 awarded Popular Question Sep 28 awarded Popular Question Sep 2 awarded Yearling Apr 21 awarded Popular Question Sep 24 awarded Autobiographer Sep 2 awarded Yearling Dec 14 awarded Famous Question Sep 2 awarded Yearling Apr 10 awarded Favorite Question Mar 7 revised Is 1+101=110 a proposition? added 200 characters in body Mar 7 comment Is 1+101=110 a proposition? I just translated some content of that book to English. See my updated question. Mar 7 revised Is 1+101=110 a proposition? added 602 characters in body Mar 7 comment Is 1+101=110 a proposition? It's an old Chinese book, that you can't find English verions. Mar 7 asked Is 1+101=110 a proposition? Jan 7 accepted Is it reflexive: everyone who has visited Web page a has also visited Web page b, for all webpages Jan 7 awarded Editor Jan 7 revised Is it reflexive: everyone who has visited Web page a has also visited Web page b, for all webpages added 486 characters in body Jan 7 comment Is it reflexive: everyone who has visited Web page a has also visited Web page b, for all webpages If page $x$ has never been visited, that $F(p,x)$ will always be false, that $\forall p (F(p,x) \to F(p,y))$ will be true, so $(x, any y)$ belong to $R$. Jan 7 comment Is it reflexive: everyone who has visited Web page a has also visited Web page b, for all webpages $R$={$(x,y) | \forall p (F(p,x) \to F(p,y))$}, where $F(p,x)$ means "p has visited x". Is it right?