急求一道"形式逻辑学"的题解:

显示全部楼层 · 2009-7-3 22:38:25

某团队去西藏旅游,除了拉萨之外,还有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山游览
跪求啊 !!!

千问 · 2009-7-3 22:38:25

设去G湖为p 去J湖为q 去E市为r 去F市为s 去H山为t 去峰为u则1234四个条件可以转化为符号语言如下：1、p∨q2、（-r∨-s）→-q3、-r→-t4、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...

千问 · 2009-7-3 22:38:25

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