关系演算的基础是

关系演算的基础是
A、形式逻辑中的逻辑演算
B、形式逻辑中的关系演算
C、数理逻辑中的谓词演算
D、数理逻辑中的形式演算
【正确答案】：C