康奈尔笔记法
康奈尔笔记法（），又名5R笔记法，是康奈尔大学教育学教授于1940年代提出的一种笔记方法。他在畅销书《如何在大学学习》（）中提倡这种方法。
概念文字
演算介入了量词，因而本质上是经典的谓词逻辑，尽管使用了一种特异的二维记号（notation）：连结词和量词使用连接公式的线条来书写，而不是今天使用的符号（symbol）¬、∧、∀。例如，在判断B和A之间的蕴涵，也就是formula_1用来指定。