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