“所有鸟（Bx）都会飞（Fx）”这一命题的逻辑形式，可用谓词公式刻画为（∀x）（Bx→Fx）