带恒等式的谓词演算 на русском dài héngděngshì de wèicí yǎnsuàn Значения Примеры использования В начале слов Сегментирование сущ. мат. исчисление предикатов с равенством + Добавить перевод