这几个月来一直在看逻辑学知识，觉得对生活很有帮助，一开始也不知道看什么，就网上找了几本书
典型的有金岳霖的《形式逻辑》，还有其他几本书，基本内容和框架和这本书基本一致，有一天我在网上看看有没有其他版本的书，在百度文库看到了一个 叫“北大精品课”的ppt教学课件，http://wenku.baidu.com/view/e30e9c926bec0975f465e251.html
看了几页，觉得浅显易懂比那些纯文字的看起来轻松一点 ，于是这些天一直看这个课件，可是当我再回过头去看那几本《形式逻辑》，发现和这个课件讲的很多地方都不一样，比如《形式逻辑》有个“判断”和“概念”的名词，而在北大课件中分别叫“命题”和“词项”（课件中也提到了判断，但认为判断不同于命题），而且课件中还有很多名词从没听说过，比如命题逻辑，词项逻辑，谓此逻辑。划分方法也很不一样，课件中把演绎推理划入了命题逻辑。。。。。。课件中还有很多公式，感觉也很严谨，不像是假的
请问大家那个课件中说的什么 命题逻辑，词项逻辑，谓此逻辑 是怎么回事啊？为什么形式逻辑这本书中没提到过？？？这个课件是哪门学问？？？逻辑学到该怎么分类？？？