115年01月29日早上9時，在國立清華大學校本部台達館106教室，辦理「邏輯學思維初探 (一) (二)」專題課程，由清華大學資訊工程學系王俊堯教授講解。王教授先以生活化的實例帶入邏輯概念，引導學員從「直覺思考」轉向「形式化分析」。學員首先接觸到語句邏輯的核心，學習使用「且、或、非」等邏輯連詞來拆解敘述，並透過真值表（Truth Table）進行 True 與 False 的嚴謹判斷。透過羅素悖論（Russell's Paradox）等歷史著名的邏輯矛盾，學員們深刻體悟日常語言中隱藏的漏洞，打破過往模糊的認知，建立「定義先於論證」的重要科學判準。

王教授亦系統性介紹18種推論規則，包含肯定前件（MP）、否定後件（MT）、假言三段論（HS）及選言三段論（DS）等專業方法。雖然大量符號運算概念對於學員而言充挑戰，但經由實際動手編寫推理表格的過程中，習得遵循嚴謹的步驟進行邏輯變換。這種「拆解條件、找出前提、導出結果」的工程思維，致使學員能在混亂的訊息中釐清條理，體會到邏輯學如何支撐起數學理論的嚴謹性，並從解開複雜證明中獲得成就感。

此外，學員坦言初次翻閱厚重講義與密集的真值表時感有畏懼，然經由教授實作與生活實例結合，能初步掌握推論規則，理解邏輯在程式設計、軟硬體驗證與數學證明的核心地位。並認為本課程不僅能習得專業知識，更提升其思維模式讓他們在面對未來學術挑戰、銜接高等教育及剖析社會議題時，具備敏銳的洞察力與信心。尤其志在程式開發的學員從中體會代碼背後的邏輯思維，進一步拉近與職涯夢想的距離，更為其日後投身資訊科技產業與面對人工智慧時代的變革，奠定堅實且具競爭力的理性根基。