1.4

证明：二元数论函数 $x \dot{-}y \notin \mathcal{BF}$.

证明

反设 $x \dot{-} y \in \mathcal{BF}$，从而$x\dot{-}1 \in \mathcal{BF}$

然而，$f(x) \in \mathcal{BF}$ 时，$f(x)\geq 0$ 或 $=0$，矛盾！