☰

исчисление предложения на китайском

др.
общ.
命题演算 mìngtí yǎnsuàn ; 句演算