1、在一阶逻辑中,命题“这台机器不能用”符号化为_______