“没有一个人不知道下周二的聚餐”这个命题的逻辑形式是（ ）。