经典语句演算 на русском jīngdiǎn yǔjù yǎnsuàn Значения Примеры использования В начале слов Сегментирование сущ. мат. классическое исчисление высказываний + Добавить перевод