逻辑课命题推理精讲.pdfVIP

逻辑课-简单命题

I.简单命题基础概念

A.性质命题(CategoricalPropositions)

定义:对主项和谓项之间的关系进行判断题，通常包含量词。

构成:量项+主项+联项+谓项。

B.量词(Quantifiers)

所有/都：表示普遍性，对应全称命题。

有的/某些/至少有一个：表示特称性，对应特称命题。

都没有/无一例外不：表示全称否定。

大多数：特殊量词，表示数量超过一半（50%）。

宾语中出现量词的处理：在分析此类复杂句子时，建议抓住其本质进行语义理解，避免硬套。

C.否定词(NeionWords)

不/并非：用于否定命题或其成分。

II.简单命题推理方法

A.对当关系(SquareofOpposition)

对当矩阵：用于直观展示四种性质命题（全称肯定A、全称否定E、特称肯定I、特称否定O）之间的关系。

关系(Contradictory)：对角线上题，真假值必然相反（一真必假，一假必真）。

例如：所有P是Q与有的P不是Q互为。

所有P不是Q与有的P是Q互为。