A theorem in F can be a rule in expert systems if it is, once translated into the Cn form, also a theorem in Cn.

• F中的定理可成为专家系统中的规则,当且仅当,F 中的定理翻译成Cn 的式后也是Cn 的定理。