099day（Java对象成员变量和函数，直言命题对当关系直接推理和换位法，换质法的学习）

《2018年1月17日》【连续099天】

标题：Java对象成员变量和函数，直言命题对当关系直接推理和换位法，换质法的学习；

内容：

A.Java对象内部成员函数是通过this()这个变量实现的，（Java没有指针的概念）；

Java有一个垃圾回收机制，因此程序员并不需要担心对象的成员函数和变量何时消亡；

 

B.直言命题对当关系的直接推理：

根据矛盾关系的直接推理：
SAP<——>﹁SOP

SEP<——>﹁SIP

SIP<——>﹁SEP

SOP<——>﹁SAP

根据反对关系的直接推理：

SAP——>﹁SEP

SEP——>﹁SAP

﹁SIP——>SOP

﹁SOP——>SIP

根据差等关系的直接推理：

SAP——>SIP

SEP——>SOP

﹁SIP——>﹁SAP

﹁SOP——>﹁SEP

 

C.换质法和换位法：

换质法：通过改变一个直言命题的质，并否定一个直言命题的谓项，而得到一个新的直言命题的推理方法；

步骤：
1.改变原直言命题的质，否定的改为肯定，肯定的改为否定；

2.否定原直言命题的谓项；

PS：这个p的上斜杠在word中复制过来就没了，只能用word的公式功能做成图片了；

 

 

换位法：通过交换一个直言命题的主项和谓项的位置来得到一个新的直言命题推理方法；

规则：
1.换位法只交换直言命题中的主，谓项的位置，不改变它的质；

2.换位前不周延的项，换位后仍不得周延；

SAP->PIS:

例：所有的猫都是动物，所以，有的动物是猫；

SEP<->PES;

SIP<->PIS;

SOP->X(无法推出)

换质位推理：

换质法和换位法的轮流运用：

 

 

明日计划：回家，学习；