命题推演 на русском mìngtí tuīyǎn Значения Примеры использования В начале слов Сегментирование сущ. мат. пропозициональный вывод + Добавить перевод