阅读全文

针对B其他几种特殊的形式，对于这些形式也有几种常用的和有效的证明方法 阅读全文

当顺推倒推序列中的命题有量词出现时，通常可以用构造法、选择法、归纳法以及特殊化法来做出证明。 阅读全文

摘录自华中科技大学公开课：哲学导论 阅读全文

笔记摘录自 The Only Grammar Book You’ll Ever Need 副词和形容词 副词和形容词 比较级形式规律 有原级，比较级和最高级 单音节副词或形容词比较级直接加-er，最高级直接加-est 多音节形容词和以-ly结尾的副词组合more或most表达比较形式 两个音阶一般不好区分用那种形式，可以查字典 特殊变形 阅读全文