אנגלית ⇄ סינית +

basic propositional function
.טֶכנו	基本命题函数