前提中至少有一个是关系判断的推理叫作____。

SEP通过直接换位可以得到_____。

关系推理是前提中至少有一个是_____判断的推理。

根据矛盾关系，由SIP可以得到_____。

一个推理形式有效，当且仅当，具有此推理形式的任一推理都不会出现____而结论假的情形。

已知关系R是对称的和反传递的，由aRb真可推知____真。

SAP通过直接换位可以得到______。

传递关系推理是根据关系的_____而进行的推理。

根据前提和结论之间的逻辑联系，可以把推理分为必然性推理和_____。

SAP通过直接换位可以得到____。