单项选择题
当“如果张某是本案罪犯，那么刘某就不是本案罪犯”为假，下列命题中必然为真的是（）。
A.或者张某不是本案罪犯，或者刘某不是本案罪犯 B.虽然张某不是本案罪犯，但刘某是本案罪犯 C.如果张某不是本案罪犯，那么刘某就是本案罪犯 D.只有张某不是本案罪犯，刘某才是本案罪犯
单项选择题 一个有效三段论，若大前提为PAM，结论为SOP，则其小前提必然为（）。
单项选择题 根据模态命题间的对当关系原理，若“不可能非p”真，则（）。
单项选择题 “交叉”这一关系是（）。
