设：P(x)：表示x是有理数 Q(x)：表示x是实数 R(x)：表示x是无理数L(x)：表示x是整数数 S(x)：表示x是偶数 W(x)：表示x是奇数.那么公式：¬∀x(Q(x) → P(x))，翻译成自然语言：存在一个实数x，使得它不是有理数。