nightmorning

数理逻辑笔记（一）——命题演算

命题演算 数理逻辑笔记（一）—— 命题演算 这里是菜鸡的求生现场，菜鸡大二的一门 8 周的课–数理逻辑结课了，觉得这门课挺有意思，学好后能变成逻辑鬼才（手动狗头），不想学过就扔，还是把它总结一下扔到这里叭，这篇文章是数理逻辑的第一篇，剩下的两篇为：谓词演算、形式推理，谓词演算是命题演算的细节化表达 […]

 数理逻辑笔记
1.75k 0 0

你已到达了世界的尽头(｡・`ω´･)！

Don`t copy text!