一元谓词演算 на русском yīyuán wèicí yǎnsuàn Значения Примеры использования В начале слов Сегментирование сущ. мат. логика одноместных предикатов ; исчисление одноместных предикатов + Добавить перевод