Constrained IF implication logic is also constructed by directly setting up a constrained IF implication connective and its tableau rule.
我们还通过直接设置限定信息流蕴涵算子及其树图规则构造出限定信息流蕴涵逻辑。
They did not do it cavalierly , and they did not do it frivolously, and they believe they had a connective logic, and a tissue to get them to their judgments.
他们不会傲慢地轻浮地对待他们的工作,他们的思维连贯,即使一张纸巾都能让他们作出判断。
应用推荐