在一个凶杀案件的侦破过程中，警方查明以下事实：凶手只可能是甲或乙或丙;甲是一个惯窃犯，如果他作案，必定是谋财害命;乙是一个色情狂，如果是他作案，必定是奸情杀人案。现场勘察的结果是既未发现被害人受到性侵犯，也未发现被害人的财物丢失。若以上条件成立，则下列哪项为真（）
A、凶手是甲
B、凶手是乙
C、凶手是丙
D、不能确定凶手是谁
“因为aRb并且bRc，所以a[AKR-]c。”这一推理式是（）
A、对称关系推理
B、反对称关系推理
C、传递关系推理
D、反传递关系推理
A、变项和逻辑常项均相同
B、变项不同但是逻辑常项相同
C、逻辑常项不同但是变项相同
D、逻辑常项不同但是变项相同
A、换质法
B、换位质法
C、换质位法
D、换位法
“一个推理只有形式正确，才能得出可靠的结论，这个推理结论不可靠，所以这个推理形式不正确。”这个假言推理使用了()。
A、正确的否定后件式
B、错误的否定后件式
C、正确的否定前件式
D、错误的否定前件式