蕴涵格的滤子及同余关系

在蕴涵格中引和了蕴涵滤子的概念，讨论了蕴涵滤子的一些基本性质，并由此建立了由素蕴涵滤子决定的同余关系及其商蕴涵格，以便为Fuzz推理建立了严格的逻辑基础作些必要的准备。