谓词演算 на русском wèicí yǎnsuàn сущ. мат. исчисление предикатов ; логика предикатов ; функциональное исчисление