浅谈数学逻辑.docVIP

浅谈逻辑性质 我们来看一个命题：如果海南下雪，则海南的雪是黑色的。这看似滑稽的命题，很多人可能认为这是一个假命题。海南下雪，生活在海南的人估计都觉得这是一个天方夜谭。在这样的低纬度，气候常年温暖炎热的海南，下雪或许只能是科幻片中大的自然灾难来临时的一个场景。雪是黑色的更是挑战人的思维逻辑，灾我们的传统映象中雪是白色的，当我们形容一个人的皮肤白时就说你的皮肤雪白雪白的，人们将大雪纷飞比喻成漫天鹅毛飞舞，就是从视觉的角度来打比方的。不管有没有见过雪的人都深信雪是白色的，天下起黑雪估计只能是戴着黑色墨镜了。上一命题便是逻辑学中的充分条件假言命题。充分条件的假言命题，当前件假（如海南下雪），后件不论真假（如雪是黑色的，当然可以是其他颜色的），该命题是真命题。这只是神奇逻辑学世界中的冰山一角，下面我们进一步走进逻辑学的世界。 逻辑学是研究推理过程或证明形式有效性的科学。推理是从一个有限的命题集（前提）中引出一个新命题（结论）的思维过程。逻辑学不关心推理活动的心理情感，内容素材等因素，只关心推理的前提和结论是否存在一种必然的推出关系。这种推出关系与一推理的前提或结论的内容无关，只与推理的结构或推理的逻辑形式相关，这种与逻辑形式相关的推出关系就是推理形式的有效性。 那么我们如何理解推理关系与推理的前提或结论的内容无关，只与推理的结构或推理的逻辑形式相关和什么样的推出关系才是有