W市女子排球运动员1号、3号、4号、6号、9号和12号组成排球队，在长期的训练和实际比赛中，教练对主力队员之间的最佳配合总结了如下几条规律：1.要是4号上场，6号也要上场2.只有1号不上场，3号才不上场3.要么3号上场，要么6号上场4.如果9号和12号同时上场，则4号也要上场。现在需要1号和12号同时上场。请问：为了保持球场上的最佳阵容，9号该不该上场？写出推理过程的形式。提示：你可以用1表示1号上场，3表示3号上场，以此类推。

10．号不该上场。 已知： ①要是6号上场则8号也要上； ②只有2号不上4号才不上； ③4号和8号只有一人上场； ④如果10号和12号同时上则6号也要上场； ⑤现在需要2号和12号同时上场。 ⑥据②和⑤可知“4号上场”。(联言推理的分解式和必要条件假言推理的否定前件式) ⑦据③和⑥可知“8号不上场”。(不相容选言推理的肯定否定式) ⑧据①和⑦可知“6号不上场”。(充分条件假言推理的否定后件式) ⑨据④和⑧可知“并非10号和12号同时上。”(充分条件假言推理的否定后件式) ⑩据⑨可知“或者10号不上或者12号不上”。(负联言命题等值推理) ⑩据⑩与⑤可知“10号不上场”。(联言推理的分解式和相容选言推理的否定肯定式) 10．号不该上场。已知：①要是6号上场,则8号也要上；②只有2号不上,4号才不上；③4号和8号只有一人上场；④如果10号和12号同时上,则6号也要上场；⑤现在需要2号和12号同时上场。⑥据②和⑤可知“4号上场”。(联言推理的分解式和必要条件假言推理的否定前件式)⑦据③和⑥可知“8号不上场”。(不相容选言推理的肯定否定式)⑧据①和⑦可知“6号不上场”。(充分条件假言推理的否定后件式)⑨据④和⑧可知“并非10号和12号同时上。”(充分条件假言推理的否定后件式)⑩据⑨可知“或者10号不上,或者12号不上”。(负联言命题等值推理)⑩据⑩与⑤可知“10号不上场”。(联言推理的分解式和相容选言推理的否定肯定式)