若关系模式R属于2NF，且它的每一个非主属性都不传递函数依赖于R的主键，则称R属于（）

若希望当A的值为奇数时，表达式的值为“真”，A的值为偶数时，表达式的值为“假”。则以下不能满足要求的表达式是( ).

当S与P是真包含于关系时，构成的真判断是（）和（）。

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

在一个关系R中，若X能够函数决定R中的每个属性，并且X的任何真子集都不能够函数决定R中的每个属性，则称X为关系R的一个（）。

在一个关系R中，若X能够函数决定关系R中的每个属性，并且X的任何真子集都不能函数决定R中的每个属性，则称（）为关系R的一个（）。

C语言编译系统在给出逻辑运算的结果时，用“1”表示真，而用“0”表示假，所以，若a=2，则!a的结果不能确定。（）

若R∈2NF，则R的每个非主属性既不部分函数依赖于候选码，也不传递函数依赖于候选码。

若（），则SIP真，SOP真。

当机件具有对称性时，一般采用（）来画图。

若AB直线的坐标方位角与其真方位角相同时，则A点位于（）上。

“若SAP真，则SEP假；SEP假；所以，SAP真。”这是何种推理？其推理公式是什么？是否有效？为什么？