数理逻辑1.1 （二）.pptVIP

数 理 逻 辑 Mathematical logic Logic is the science of valid processes of reasoning. Logic is the science of reasoning by formal methods. 1910年，美军部队在一次传递命令中的情况是这样的。 营长对值班军官说：明晚八点钟左右，将可能在这一地区看到哈雷彗星，这种彗星每隔七十六年才能看见一次。命令所有士兵身穿野战服在操场上集合，我将向他们解释这一罕见的现象。如果下雨的话，就在礼堂里集合，我将为他们放映一部有关彗星的影片。 值班军官对连长说：根据营长命令，明晚八点哈雷彗星将在操场上空出现。如果下雨的话，就让士兵们身穿野战服前往礼堂，这个罕见的现象每隔七十六年在那里出现。 连长对排长说：根据营长的命令，明晚八点，非凡的哈雷慧星将身穿野战服在礼堂中出现。如果操场上下雨的话，营长将下达另一个命令，这种命令每隔七十六年才会出现一次。 排长对班长说：明晚八点，营长将带着罕见的哈雷慧星在礼堂中出现，这是每隔七十六年才会有的事。如果下雨的话，营长将命令哈雷慧星穿上野战服到操场上去。 班长对士兵说：在明晚八点下雨的时候，著名的七十六岁的哈雷将军在营长的陪同下身穿野战服开着那辆“彗星”牌汽车经过操场前往礼堂。 小明爷爷卖西瓜的故事