列出下列推理形式,并分析它是否正確。 “如果甲上場(chǎng),那么丙上場(chǎng);如果乙上場(chǎng),那么丁上場(chǎng);丙不上場(chǎng)或丁不上場(chǎng);所以,甲不上場(chǎng)或乙不上場(chǎng)。”