一道题目

球队如何安排最佳阵容球员上场:1、只要4号上场 , 6号就要上场;2、只有1号不上场 , 3号才不上场;3、要么3号上场 , 要么6号上场;4、如果9号和7号同时上场 , 那么4号也要上场;5、1号和7号要同时上场;问:9号该不该上场?先用形式语言把这5个前提表述如下:一道题目
请继续往下推理 。


    推荐阅读