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

propositional calculus system
.טכנול	命题演算系统