（填空题）
已知关系R是反对称的、传递的，由aRb真可得知（）；由aRb真且bRc真可得知（）。
答案解析
（单选题）
若（），则SOP真，SIP真。
若（），则SIP真，SOP真。
若（），则S1P真，SAP真。
如果关系R是反传递性的，则由aRb和bRc为前提，可推出（）。
若p为一真判断，则（）。
若（），则SIP真且SOP真。
如果P，则Q，如果P则r，非q或者r，非p，这是（）结构
如果肯定p并且非q，而否定若p则q，则（）的要求。
