简答题 将下列推理形式化，并证明推理是无效的。
前提：
如果刚下了雨，那么地上是湿的；
如果地上是湿的，那么你会摔跤；
你摔跤了。
结论：刚下了雨。

在某次研讨会的中间休息时间，三名与会者根据王教授的口音对他是哪个省市的人进行了判断： 甲说王教授不是苏州人，而是上海人； 乙说王教授不是上海人，而是苏州人； 丙说王教授既不是上海人，也不是杭州人， 分析完以上三人的判断后，王教授笑着说，它们三人中有一人说得全对，有一人说对了一半，另一人说得全不对．试分析王教授到底是哪里人． 点击查看答案

将下面一段程序简化. 点击查看答案