有人知道對有「for all, exist」的邏輯表述，要證明其無效性的方法是在哪份投影片