“有的被告（Bx）不是诚实的（Cx）”这一命题的逻辑形式，可用谓词公式刻画为（”x）（Bx→Cx）