这场斗争是必然要来的。指出上述模态命题的种类。