学习

盯着离散数学的谓词公式推导看了半个多小时，草稿纸画得乱七八糟，就在快要放弃的时候，突然理清了蕴含式和等价式的转换关系。那种豁然开朗的感觉，比喝了三杯冰咖啡还要提神。