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