“有的人（Mx）天天锻炼身体（Gx）”这一命题的逻辑形式，可用谓词公式刻画为（$x）（Mx∧Gx）