Question

求解逻辑学应用题，请写出推理过程，谢谢！

1．我系女子排球队有1号、3号、4号、6号、9号和12号等六名主力队员。由于存在队员间的配合是否默契的问题，教练在每次比赛时对上场主力队员的挑选都考虑了以下原则：
（1）只要4号上场，6号就要上场；
（2）只有1号不上场，3号才不上场；
（3）要么3号上场，要么6号上场；
（4）如果9号和12号同时上场，那么4号也要上场。
现在需要1号和12号同时上场。请问：为了保持场上最佳阵容，9号要不要上场？写出推理过程及依据。

Answer 1

现在重点理解第（2）条原则，只有1号不上场，3号才不上场，即是说，只要1号上场，3号就肯定会上场。
现在来推理：
第一步：1号与12号上场，由原则（2），3号也会上场；
第二步：3号上场，由原则（3），6号不能上场；
第三步：6号不上场，由原则（1），4号也不能上场；
第四步：4号不上场，由原则（4），9号与12号不能同时上场；
第五步：由于12号已经上场，故9号不能上场。

最终结论就是：9号不要上场。