以下是哈尔滨工业大学深圳计科大二上数理逻辑课程的PPT分享，仅供参考学习，若有侵权请联系作者删除。本课程由jl老师讲授，内容涵盖数理逻辑基础、谓词逻辑、命题逻辑等，适合对数理逻辑感兴趣的同学学习。同时，附上相关的数理逻辑知识点和例题，希望对大家的学习有所帮助。