[判断]  关系演算的基础是形式逻辑中的逻辑演算。