「2024」预备研究生mem-形式逻辑强化-判断逻辑真假