116day（String,StringBuffer,StringBuilder,模拟器和虚拟机的区别，复合命题的种类）
《2018年2月4日》【连续116天】
标题：String,StringBuffer,StringBuilder,模拟器和虚拟机的区别，复合命题的种类；
内容：
A.详见
String 字符串常量
StringBuffer 字符串变量（线程安全）
StringBuilder 字符串变量（非线程安全）
简单来说，String是常量，如果对它进行操作的话，程序会自动生成一个新的String对象，
而简单的String a="a"+"b"；编译器会直接生产"ab"，但如果是String a="a"+b;
b为变量，那么，只有当程序运行到这时，程序会自动产生一个StringBuilder对象，来通过append完成加，
最后赋给a，这是为什么大部分情况下append远快于+的原因（可能还有其他原因）；
StirngBuilder一般比StringBuffer快。
B.模拟器和虚拟机的区别：
这个还挺复杂的，我简单说一下我的理解（不大正确），
模拟器：主要是模拟CPU的，类似于仿真机，主要对指令集进行模拟；
虚拟机：对硬件进行抽象，直接模拟一个硬件平台，CPU可以直接处理这里的指令。
据说，虚拟机的定义别滥用了，这里也不去详细解释了。
C.复杂命题的种类：
1.负命题：也叫否定命题，否定一个命题的命题；
命题形式：并非P。 符号形式：﹁P（并非）；
联结词：标准：并非........;
逻辑性质：负命题的真值与支命题的真值相反；
真值表：P ﹁P
T F
F T
2.联言命题：。。。。。。
形式：P并且Q; 符号形式：P^Q（合取）；
联结词：标准：并且；
性质：全真为真，一假为假；
真值表：。。。
3.选言命题：
1）相容选言命题：P或者Q，P∨Q（析取）；
性质：一真为真，全假为假；
2）不相容选言命题：要么P，要么Q,p∨q（∨号上要加点·）,读作“p不相容析取q”.
性质：只有一真为真，其余为假；
4.假言命题：
1）充分条件假言命题：
形式：如果P，那么Q; p->q（p蕴含q）；
逻辑性质：前真后假为假，其余皆真；
2）必要条件假言命题：
形式：只有P，才Q; q->p;
性质：看充分；
3）充分必要条件假言命题：
形式：当且仅当P,才Q; p<->q;
性质：前后真值相同时，命题为真；
明日计划：学习；
116day（String,StringBuffer,StringBuilder,模拟器和虚拟机的区别，复合命题的种类）
《2018年2月4日》【连续116天】
标题：String,StringBuffer,StringBuilder,模拟器和虚拟机的区别，复合命题的种类；
内容：
A.详见
String 字符串常量
StringBuffer 字符串变量（线程安全）
StringBuilder 字符串变量（非线程安全）
简单来说，String是常量，如果对它进行操作的话，程序会自动生成一个新的String对象，
而简单的String a="a"+"b"；编译器会直接生产"ab"，但如果是String a="a"+b;
b为变量，那么，只有当程序运行到这时，程序会自动产生一个StringBuilder对象，来通过append完成加，
最后赋给a，这是为什么大部分情况下append远快于+的原因（可能还有其他原因）；
StirngBuilder一般比StringBuffer快。
B.模拟器和虚拟机的区别：
这个还挺复杂的，我简单说一下我的理解（不大正确），
模拟器：主要是模拟CPU的，类似于仿真机，主要对指令集进行模拟；
虚拟机：对硬件进行抽象，直接模拟一个硬件平台，CPU可以直接处理这里的指令。
据说，虚拟机的定义别滥用了，这里也不去详细解释了。
C.复杂命题的种类：
1.负命题：也叫否定命题，否定一个命题的命题；
命题形式：并非P。 符号形式：﹁P（并非）；
联结词：标准：并非........;
逻辑性质：负命题的真值与支命题的真值相反；
真值表：P ﹁P
T F
F T
2.联言命题：。。。。。。
形式：P并且Q; 符号形式：P^Q（合取）；
联结词：标准：并且；
性质：全真为真，一假为假；
真值表：。。。
3.选言命题：
1）相容选言命题：P或者Q，P∨Q（析取）；
性质：一真为真，全假为假；
2）不相容选言命题：要么P，要么Q,p∨q（∨号上要加点·）,读作“p不相容析取q”.
性质：只有一真为真，其余为假；
4.假言命题：
1）充分条件假言命题：
形式：如果P，那么Q; p->q（p蕴含q）；
逻辑性质：前真后假为假，其余皆真；
2）必要条件假言命题：
形式：只有P，才Q; q->p;
性质：看充分；
3）充分必要条件假言命题：
形式：当且仅当P,才Q; p<->q;
性质：前后真值相同时，命题为真；
明日计划：学习；