北京交通大学软件工程研究生在职复试考研复试参考书笔记解读.docVIP

2015年北京交通大学软件工程研究生在职复试考研复试参考书笔记解读 各位考研的同学们，大家好！我是才思的一名学员，现在已经顺利的考上北京大学风景园林，今天和大家分享一下这个专业的笔记，方便大家准备考研，希望给大家一定的帮助。 ■最近一段时期，有关要发生地震的传言很多。一天傍晚，小明问在院里乘凉的爷爷：“爷爷，他们都说明天要地震了。”爷爷说：“根据我的观察，明天不必然地震”。小明说，“那您的意思是明天肯定不会地震了。”爷爷说不对。小明陷入了迷惑。 以下哪句话与爷爷的意思最为接近？ A 明天必然不地震。 B明天可能地震。 C 明天可能不地震。 D明天不可能地震。 [解题分析] 正确答案：C 根据模态命题对当关系，不必然p等价于可能非p。 九.证明 证明是由论题或论据两个部分通过论证方式而组成的。论题是真实性需要加以证明的判断。论据是用来证明论题真实性的那些判断。 证明与推理是有密切联系的。证明总是借助于推理来进行的。论据相当于推理的前提，论题相当于结论，论证方式相当于推理形式。任何证明的过程都是运用推理的过程，没有推理就无法构成证明。 （一）证明的逻辑原则 充足理由原则是证明的逻辑原则。充足理由原则的基本内容是：在思维过程中，任何正确的思想必须有充足理由。或者说，在推理和证明过程中，一个思想被确定为真的，总是有其充足理由的。充足理