親愛的用戶：歡迎來到離散數學吧，Purasbar歡迎您的到來~

請先閱讀我們的社區準則：

https://zh.purasbar.com/documents/eula/

以及版權聲明：

https://zh.purasbar.com/documents/copyright/

您可在此暢所欲言，並和朋友們交流~~

祝您在此吧玩得愉快~

社區管理員

第一章的相關內容感覺很熟悉，好像是形式邏輯的內容