普通逻辑的简单理论(5)
这是针对肯定判断的主语，它的谓语和否定判断的主谓也可以类似分析。这里不赘述，只提供一个结论。具体分析请看书。
①全称或单项判断项目均为GAI。
②根据判断，主要物品都不是GAI的。
③肯定判断的谓语不是GAI。
④否定判断的谓语都是GAI。
这里需要解释一下特判中的“是”。在日常语言中，我们说“有”，不仅仅是断定“有s就是p”，还有“有s不是p”的意思，但逻辑上并没有这样的意思。
在逻辑学中，“有些s是p”的意思是“至少有一个s是p”，这只是判定s作为p的存在性，并不判断s的个数，这个数可以是一个、几个甚至全部。
所以，在逻辑上，说有的小说是文学作品不是废话，“有的小说是文学作品”的矛盾判断不是“有的小说不是文学作品”，而是“所有的小说都不是文学作品”。
自然判断之间的关系除了矛盾之外，还有对立、差质和低等对立。这里就不详细介绍了，大家自己看书吧。再来说说其他类型的判断。
关系判断是确定对象t之间的关系，如5大于3，上海在北京以南，记为R(a，b，c...).其中r称为相对项，即上例中的“大于”和“以南”，括号内的称为相对项，即上例中的5和3，上海和北京。
联合判断就是断定几种情况同时存在，比如:北京既是我国的政治中心，也是文化中心。写下来就是:p和q。
选择的判断是断定至少有一种可能的情况，比如:他要么懂英语，要么懂日语。记下来就是:p或者q .这是一个兼容的用词选择，因为这两种情况也可能同时发生:他既会英语又会日语。
还有一种是不兼容的选词，即几种情况只有一种可能是真的，比如:他不是出生在中国，或者出生在国外。很明显，他不可能同时出生在国内和国外，只能选择其中一个。写下来就是:p或者q。
假设性判断就是断定一种情况的存在是以另一种情况为条件的，比如:你发烧了，你生病了；再比如:只有生病才会发烧；再比如一个数是偶数当且仅当它能被2整除。
以上三个例子分别是充分条件假设判断、必要条件假设判断和充分必要条件假设判断，记为:若P，则Q；只有p，只有q；当且仅当p，那么q .关于什么是充分条件，必要条件，充要条件，你应该在中学数学里学过，这里就不赘述了。
最后一类判断是否定判断，即否定某个判断的判断，比如不是所有人都学过逻辑学，记为:不是p。
需要辨析的是，否定判断不是否定判断。“大家都没学过逻辑”是否定判断，不是否定判断；“不是所有人都没学过逻辑学”是一个否定的判断，虽然本质上表达了一种肯定。