本文记录了作者学习CoreJava第二章的心得，详细介绍了Java的编译与运行机制，并总结了复合命题中的重言等值式及其相关逻辑定律。
《2018年2月7日》【连续119天】
标题：阅读Core java第二章，常见的重言等值式；
内容：
A.阅读了core java的第二章，学习了有关编译和运行java的机制；
记下了一些术语；
B.复合命题按照真值不同分为重言式（必真），矛盾式（必假）和协调市（有真有假）；
重言等值式：
1.双重否定律：p<->﹁﹁p;
2.实质蕴含律：(p->q)<->（﹁p∨q） ,(p->q)<->﹁(p∧﹁q)
3.蕴含易位律：
A↔B⇔┐A↔┐B
交换律：
A∨B⇔B∨A
A∧B⇔B∧A
结合律：
（A∧B）∧C⇔A∧（B∧C）
（A∨B）∨C⇔A∨（B∨C）
分配律：
A∨（B∧C）⇔（A∨B）∧（A∨C）
A∧（B∨C）⇔（A∧B）∨（A∧C）
德摩根律：
┐（A∨B）⇔┐A∧┐B
┐（A∧B）⇔┐A∨┐B
明日计划：早睡早起；
扫一扫
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
