法律逻辑的题目:若“如果张某不是肇事者,那么刘某就是肇事者”为假,则下列命题必然为真的命题是