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