אנגלית ⇄ גרמנית סינית צרפתית רוסית +

propositional variable
.טֶכנו	命题变量
.טכנול	★ 命题变元