打印.pdf因为是辅修计算机，所以只是奔着及格去的，在此附上自己的开卷材料，包括1、常见的推理规则、永真式等（来自PPT）2、思考题讲解（来自某大佬的复习笔记第4部分和思考题补充）3、课程题纲（来源比较杂，包括一般的定理、定义等）4、直接证明的材料（大概有六个公式）。如果是跟我一样辅修的同学以及对成 >>more