классическое исчисление высказываний сущ. мат. 经典命题演算 jīngdiǎn mìngtí yǎnsuàn ; 经典语句演算 jīngdiǎn yǔjù yǎnsuàn