本文主要是介绍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(无法推出)
换质位推理:
换质法和换位法的轮流运用:
明日计划:回家,学习;
这篇关于099day(Java对象成员变量和函数,直言命题对当关系直接推理和换位法,换质法的学习)的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!