填空题 论证的规则“论题应当保持同一”是逻辑基本规律（）的要求。

填空题 已知“张三可能是凶手”为假，则“张三不可能不是凶手”的真假情况是（），“张三可能不是凶手”的真假情况是（）。

填空题 已知一个第四格有效三段论的大前提为PEM，结论为SOP，那么小前提应为（）或（）。