谓词演算的英文翻译

中文：谓词演算