Ability to read logic


by Eliezer Yudkowsky Jan 16 2016 updated Jul 26 2016

Can you read sentences symbolically stating "For all x: exists y: phi(x, y) or not theta(y)" without slowing down too much?

This requisite asks whether you can read a sentence that throws in logical ideas and notation, without slowing down too much. If the statement $~$(\exists v: \forall w > v: \forall x>0, y>0, z>0: x^w + y^w \neq z^w) \rightarrow ((1 = 0) \vee (1 + 0 = 0 + 1))$~$ makes sense after a bit of staring, you should mark yourself as having this requisite. You will then automatically be shown Arbital pages and tabs containing such notation.


Petr Hudeček

As far as I can tell, the statement is equivalent to "true" and you can strip quite a bit of information from it and still keep the point that it is true. It is somewhat confusing. Maybe the part (1+0=0+1) could be stripped so that statement would say "the hypothesis is true"? Or not. I don't know.