命题算术

arithmetic of proposition

пословный:

命题	算术
mìngtí 1) лог., филос. суждение; предложение; лингв. высказывание; предложение 2) дать тему (для сочинения); мат. задать задачу	suànshù 1) арифметика; арифметический 2) счёт, вычисление