用构造式的方式来定义知识，即知识的构造式定义可以表达为