单项选择题 下列概念由前到后作为概括，正确的是（）。

单项选择题 当“如果张某是本案罪犯，那么刘某就不是本案罪犯”为假，下列命题中必然为真的是（）。

单项选择题 一个有效三段论，若大前提为PAM，结论为SOP，则其小前提必然为（）。