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