根据同一素材性质判断之间的对当关系中的下反对关系，可以进行推演的是()。

根据性质判断间的对当关系，若SAP为真，则（）。

根据对当关系中的下反对关系可以进行推演的是（）

关系推理的根据是（）的逻辑性质；当aRb真、bRa假或真时，R是（）。

根据同一素材性质判断之间的对当关系中的反对关系，可以进行推演的是（ ）。

根据同一素材性质判断之间的对当关系中的下反对关系，可以进行推演的是（ ）。

依据逻辑方阵，由SAP推出的结论是（）。

根据不矛盾律，可由一个判断真，推出与其具有（）或（）关系的判断假。

逻辑运算符（AND、NOT、OR）的运算顺序是AND→OR→NOT。

逻辑运算符（AND、NOT、OR）的运算顺序是AND→OR→NOT。

根据模态对当关系，由“某甲必然是杀人犯”真，可推出“某甲可能是杀人犯（），某甲必然不是杀人犯（）。”

布尔逻辑具体检索时，是通过三个布尔运算符来实现其功能的：AND、OR、（）。