摘要： 蕴涵算子是逻辑学研究中的重点和难点。本文首先给出泛逻辑中的一级命题连接词完整簇的非、交、并和蕴涵运算模型，证明了泛蕴涵的正则性、单调性以及它和泛“交”的伴随性，这对于进一步研完泛逻辑的形式系统和代数结构以及完备性，都具有重要的理论价值。

关键词: 泛逻辑学 蕴涵算子 伴随对 正则性 单调性 计算机技术