【单选题】
已知线段AB的两端点坐标，可计算tgαAB=△y/△x，R＝arctg△y/△x,R>0，若使αAB＝R＋180则（ ）。
①
△x＞0，△y>0
②
△x0
③
△x<0，△y<0
④
△x＞0，△y＜0
【单选题】
设有关系R(A,B,C)、S(B,C,D)，那么与R?S等价的关系代数表达式是( )。
①
π1，2，3，4（σ2=1∧3=2（R×S））
②
π1，2，3，6（σ2=1∧3=2（R×S））
③
π1，2，3，6（σ2=4∧3=5（R×S））
④
π1，2，3，4（σ2=4∧3=5（R×S））
【单选题】
公式(P→Q)→(P→R)的成假指派为( ) (按(P, Q, R)的顺序)。
①
(0, 1, 0)
②
(1, 0, 0)
③
(1, 1, 0)
④
(1, 1, 1)