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

inductive definition of propositional forms
.טכנול	命题公式的归纳定义