逻辑导论（第三版）：逻辑推理-类演算与关系推理PPT教学课件.pptx

第四章逻辑推理：类演算与关系推理

第四章逻辑推理：类演算与关系推理第一节直言命题一、直言命题及其构成直言命题是直接陈述某对象具有或不具有某种性质的简单命题。直言命题又称性质命题，是我们思维和表述中最常用的一种命题。直言命题是由如下四种成分构成的：主项、谓项、联词、量词。直言命题中的主项和谓项，称作词项。一般来说，它们表达事物的名称或概念。词项的外延是该词项所指称对象组成的类，直言命题陈述两个类之间的关系。在直言命题的逻辑形式中，通常用字母Ｓ表示主项、Ｐ表示谓项，Ｓ和Ｐ称作词项变项。

第四章逻辑推理：类演算与关系推理第一节直言命题二、直言命题的种类（一）全称肯定命题全称肯定