文章类似于一般拟阵的基公理讨论模糊集族构成模糊基集所要满足的一些条件。
We investigate some conditions that fuzzy subsets make up of fuzzy bases to be similar to the base axiom.
本文利用演绎定理的证明思路给出了一个由演绎证明构造公理证明的一般程序,并增加了一条简化命令,使该程序既严格又具有实际可操作性。
The article USES the proving of deduction theorem to give general program of construction theorem proving, and adding a piece of simplification command. The program is gotten strict and exercisable.
本文利用演绎定理的证明思路给出了一个由演绎证明构造公理证明的一般程序,并增加了一条简化命令,使该程序既严格又具有实际可操作性。
The article USES the proving of deduction theorem to give general program of construction theorem proving, and adding a piece of simplification command. The program is gotten strict and exercisable.
应用推荐