“┐”表示“非”,┐p也就是非p
左右颠倒的E 表示存在.“左右颠倒的E x∈R”也就是“存在一个实数x”
一个上下颠倒的A表示任意.“上下颠倒的A x∈R”也就是“任意一个实数”