пропозициональная логика на китайском

сущ.
мат.
命题逻辑 mìngtí luójí