性质命题中主词，谓词的周延 周延定义:词项作为主词，谓词出现在性质命题中时，是否涉及到其全部外延，称是否周延 全部肯定SAP 所有S是P S 全...

公理系统出发点的延伸 公理系统的评价 公理系统的性质和评价及其意义 斯宾诺莎 《用几何学方法论证的伦理学》 公设：某一门具体数学分支所需要的基本...

&命题演算：公理系统 判断有效推理形式的方法 真值表法，归谬赋值法 生成有效推理形式的方法 公理系统和自然推演系统 公理系统的组成 符号库（初始...

范式，命题连接词的充足集 范式 满足某种规范，并满足某种逻辑性质的命题形式 命题连接词的真值集 真值函数 参数域和结果域都是｛T,F｝的函数。每...

复合命题的推理，有效推理形式的判定 根据可能的真值情况，命题可分三类 永真式（重言式） 例子：p蕴涵p, p或者非p 永假式（矛盾式） 例子：p...

常用命题连接词及其基本推理形式 符号 命题：用p1,p2,p2...或者p,q,r 真值：T真，F假 真值表：命题在各种情况下的真值 否定：一横...

命题 一个句子，什么东西怎么样。每个命题都有真值：有真或者假 推理 从前提得出结论的过程，这里的前提和结论都是命题 有效推理形式 真前提通过有效...

莱布尼茨 提出设想 普遍的符号语言 布尔 实现命题演算 摩根 关系逻辑 弗雷德 谓词演算 罗素 怀特海 完备的命题逻辑，谓词逻辑 数理逻辑的发展...

中国传统逻辑学思想 孔子的正名 名指的是事物的名称，实指的是实际的含义，名有时可以指代好几个实。 古代有一种喝酒的器皿叫觚。他的造型是有一定礼数...