2024年3月10日晚，数学科学学院团委青年中心第二届《瀚海之巅》项目组第三次ToPiC活动——“命题演算”讲座在五教5102顺利举行。活动内容围绕“逻辑推理”、“命题证明”和“布尔代数”等背后的命题原理，以讲座和互动的形式进行，受到了同学们的一致好评。

在ToPiC第二弹“哇！向量”为上学期做了个良好的总结之后，在新学期的春天，瀚海之巅ToPiC再次启动，举办了第三次活动——“命题演算”讲座。

活动于晚上7点开始，内容围绕我们平时常见的命题逻辑等概念，从语法上讨论演绎原理、排中律、双重否定率等推理原则，从语义上对逻辑连结词进行计算上的分析，双管齐下建立命题演算系统。在主讲人马天宇同学的介绍之后，同学们展开了丰富的讨论，和主讲人进行了热情的互动。

活动在晚上九点左右圆满结束。在本次活动中，不论是项目组成员还是主讲人，大家的热情都一如既往。和本系列的前两次活动相比，项目组在组织、联络、宣传等方面做的也越来越好。感谢学院团委和同学们的支持，也期待同学们的多多参与，瀚海之巅项目组会继续努力，推出的更加精彩的 ToPiC！

撰稿人：PB22010398  王子涵