急求一道"形式逻辑学"的题解:某团队去西藏旅游,除了拉萨之外,还有6 个城市或景区可供选择,E市\F市\G湖\H山\I峰\J湖.考虑时间\经费\高原环境\人员身体状况等因素:1\G湖和J湖至少要去一处.2\如

急求一道"形式逻辑学"的题解:某团队去西藏旅游,除了拉萨之外,还有6 个城市或景区可供选择,E市\F市\G湖\H山\I峰\J湖.考虑时间\经费\高原环境\人员身体状况等因素:1\G湖和J湖至少要去一处.2\如
急求一道"形式逻辑学"的题解:
某团队去西藏旅游,除了拉萨之外,还有6 个城市或景区可供选择,E市\F市\G湖\H山\I峰\J湖.考虑时间\经费\高原环境\人员身体状况等因素:
1\G湖和J湖至少要去一处.
2\如果不去E市或者不去F市,则不能去G湖游览.
3\如果不去E市,也就不能去H山游览.
4\只有越过I峰才能达到J湖.
如果由于气候的原应,这个团队不去I峰,以下那项一定为真?为什么?请写出推理过程.
A 该团队去E市和J湖游览,
B 该团队去E市而不去F市游览,
C 该团队去G湖和H山游览,
D 该团队去F市和G湖游览
E 该团队去E市和H山游览

急求一道"形式逻辑学"的题解:某团队去西藏旅游,除了拉萨之外,还有6 个城市或景区可供选择,E市\F市\G湖\H山\I峰\J湖.考虑时间\经费\高原环境\人员身体状况等因素:1\G湖和J湖至少要去一处.2\如
设去G湖为p 去J湖为q 去E市为r 去F市为s 去H山为t 去峰为u
则1234四个条件可以转化为符号语言如下：
1、p∨q
2、（-r∨-s）→-q
3、-r→-t
4、q→u
因为不去峰 所以u为假
因为u假,由4可知q假；由q假,由1可知p真；(由此可以排除A)
做题到这里需要把2这个条件转化一下形式,求2的逆否命题（这样才能保证算出来的真值形式与原来相同）,2相当于r∧s∧-q,因为q假,可知-q真,可知
r∧s真,可知r真 s真；由3得出,t不能确定真假.
总结一下,去G湖,不去J湖,去E市,去F市,不能决定去不去H山,不去峰
故选D

选d 由于不去i峰由4知不去j湖 则由1知必须去g湖则由2知e市和f市都必须去 h山无法推出是否去 故选d