邏輯學‖大學課堂現場原聲收音

本課堂錄音來自XZ大學邏輯學導論課程錄音。既包括傳統(tǒng)演繹邏輯的內容，例如概念理論（集合論基礎），直言命題直接推理（對當關系，換質法，換位法，換質位法，附性法），三段論；同時也包括現代一階邏輯的內容，例如一階邏輯的語言（符號語言），自然語言的形式化技巧，一階邏輯演算（命題演算，謂詞演算，關系演算），判定命題推理有效性的方法（真值表法，真值樹法，自然演繹法，重言式公理方法，范式法等），對普遍有效式，可滿足式等真值條件的討論……