逻辑题目.doc

题目： 如果A不真包含E，或者A与F相容，那么C与D交叉 所有的C是E，且C真包含于B 只有A与F全同，才F不真包含于B，或者有D是A 要么B与E不交叉或C与D相容，要么有D是B 或者有B是D，或者C与E不相容 解： 由“所有的C是E，且C真包含于B”，可得以下三种情况 A B C 由“或者有B是D，或者C与E不相容”, 又１）中，Ｃ与Ｅ定相容，推出“有Ｂ是Ｄ”真 “有Ｂ是Ｄ”真，则“要么，要么有D是B”中，“有D是B”真，且“B与E不交叉或C与D相容”假，即“B与E交叉且C与D不相容”，如图，只有C图符合“B与E交叉”，又“C与D不相容”且“有D是B”，可得以下两种情况 D E “如果A不真包含E，或者A与F相容，那么C与D交叉”，因C与D不交叉，得“A真包含E且A与F不相容” “只有A与F全同，才F不真包含于B，或者有D是A”，由4）得“A与F不相容”，故“A与F全同”假，推出“F真包含于B且D与A不相容” 所以共有以上7种情况符合题意 题目： 如果A不真包含E，或者A与F相容，那么C与D交叉 所有的C是E，且C真包含于B 只有A与F全同，才F不真包含于B，或者有D是A 要么B与E不交叉或C与D相容，要么有D是B 或者有B是D，或者C与E不相容 为了让你看得更清楚，我不设变项p、q、r…….（下列黑体字是结论或者是结论再作前提） 2. 所有的C是E，且C真包含于B 分解式推得；所有的C是E 5. 或者有B是D，或者C与E不相容，所有的C是E 否肯式推得；有B是D 4. 要么B与E不交叉或C与D相容，要么有D是B，有B是D，肯否式推得： B与E交叉且C与D不相容 1. 如果A不真包含E，或者A与F相容，那么C与D交叉，C与D不相容。否后式推得：A真包含E，且A与F不相容。 3. 只有A与F全同，才F不真包含于B，或者有D是A，A与F不相容，否前式推得：F真包含于B，且所有D不是A 由此可得： C真包含于B 所有的C是E 有B是D B与E交叉且C与D不相容 A真包含E，且A与F不相容。 F真包含于B，且所有D不是A C E B C B E E C E C B B D E C B D E C B D F A E C B A D F E C B D F E C B A D F E C B A D F E C A B A F D E C B A D F E C B