定义了多值逻辑系统Ht中的约束度,在Ht中讨论了满足（A（x）→B（y））→（A＊（x）→B＊（y））≤α的B＊（y）（A＊（x））存在的条件,得到了Ht中的的全蕴涵α-FMP和α-FMT问题......