性质判断对当关系推理的形式主要有A. 下反对关系推理B. 矛盾关系推理C. 变形推理D. 从属关系推理

本题考查的知识点是关系推理。题干中的推理是对称关系推理的一般形式，它根据关系的对称性进行推理。

条件推理是指人们利用条件性命题进行的推理。

演绎推理就是从一般性的前提出发，通过推导即“演绎”，得出具体陈述或个别结论的过程。演绎推理的结论小于前提的认识范围，因此演绎性推理属于一种必然性推理，常常用作逻辑证明的工具和科学预测的手段。在犯罪现场再现中，演绎推理可以帮助对案件性质以及作案动机和心理痕迹的认识与鉴别。归纳推理是根据一类事物的部分对象具有某种性质，推出这类事物的所有对象都具有这种性质的推理，简称归纳。关系推理是前提中至少有一个是关系命题的推理。线性推理也叫三段论推理，是演绎推理中的一种简单推理判断，它包含一个一般性的原则（大前提），一个附属于前面大前提的特殊化陈述（小前提），以及由此引申出的特殊化陈述符合一般性原则的结论。