这是PrepTest 78，游戏1，在这个游戏中，我们将这七个工人分成两组。 一组是被选入项目的人，另一组是被排除在项目之外的人。 所以你可以把它看作是一个内外群体博弈，有一个内群体，被选中的群体还有一个外群体，没有被选中的群体。

这是一个固定的分组游戏因为我们知道有多少人会进入，3人进入，4人出局因为一共有7人 这就是为什么我要画出固定的分组设置3进4出。我还会在主图附近列出我的七个变量。 现在你还应该注意到，我们被告知只有一个内部成员，项目成员。

将是一个项目负责人，一种处理方法就是像这样在小组旁边画一个PL。 这样就不会提醒到这个小组成员中必须有一个是PL项目负责人，我还不知道我想把它分配给哪个位置，所以 所以我把它放在一边。现在我们来看规则，第一个规则是Q或 R可以是项目成员，只有在领导这个项目时，短语only if here是我们的条件指示符。

记住，在条件逻辑课上只有当，引入了一个必要条件，它引入了条件语句的“然后”边。 考虑这个规则的一种方式是，如果Q或R是项目成员，那么，这是条件箭头，那么他们必须领导项目。 如果你把Q放在内组里，那么项目负责人必须是Q，如果你把R放在内组里，那么项目负责人必须是R 我将把它画在我的规则列表中，比如，如果Q在，那么Q一定是项目负责人，如果R在，那么R一定是项目负责人。

注意，我也画了这些规则的逆命题图逆命题就是我们把箭头两边调换一下得到的结果 门口。这意味着如果Q不是项目负责人，那么Q就不在 如果R不是项目负责人，那么R就不在。你可能会注意到，这意味着Q和R不能在一起 因为如果你想把Q和R同时放在一起，那么现在只有一个人能成为项目负责人，但是 规则一是他们都必须是项目负责人。

所以这就是为什么这里不可能Q或R中至少有一个会一直输出。 现在让我们看一下第二条规则，如果Smith是项目成员，那么Taylor也必须是。 这里我们有一个R if，这是条件命题的充分部分。

如果Smith是项目成员，那么箭头向右，那么Taylor也必须是项目成员。 我把它画成这样，如果S进来，那么T进来，逆变换的意思是如果T出去，那么S出去。 最后一条规则是，如果Wells是项目成员，R和V都不能是项目成员。

再一次，我们有If，它引入了充分条件，条件的If部分，如果你把Wells代入， 然后这意味着你不能拥有r，你不能拥有V.在图中，如果w在那时是r出来的第三个规则 V在逆命题外，你会注意到，当你有一个合同肯定的命题，在箭头的一边有。

你要做的就是把箭头两边都换掉所有项然后把末端换成OR，所以 这就是为什么如果R在OR里，你把V放进去，那就意味着W在外面。现在我们已经把规则画出来了，我想确保我们继续 圈出我们的浮动变量，这里的X在任何规则中都没有提到，所以X是最小约束。

我还想考虑一下我们是否可以根据我们的规则做出一些推论。 不幸的是，这些规则之间没有任何联系。 你可以看到，规则一和规则三都提到了R，所以我们知道，如果R在，R将是项目负责人 如果R是内的，那就意味着W是外的，但是除了这个概念之外，这些规则之间并没有其他的联系。

这意味着这个游戏很可能会赢，我们只需要做一些问题，并准备好为每个问题画一个图。