设：P(x)：表示x是有理数 Q(x)：表示x是实数 R(x)：表示x是无理数L(x)：表示x是整数数 S(x)：表示x是偶数 W(x)：表示x是奇数.那么公式：∀x(L(x) → P(x)) ∧ ¬∀x(P(x) → L(x))，翻译成自然语言：对于所有的x来说，如果x是整数，则x也是有理数；且不是所有的x都满足如果x是有理数则它是整数。