列出下列推理形式，并分析它是否正确。 “如果甲上场，那么丙上场；如果乙上场，那么丁上场；丙不上场或丁不上场；所以，甲不上场或乙不上场。”