“与刘易斯在经典数理逻辑（外延真值函数逻辑）的形式语言中引入模态算子来定义“严格蕴涵”的方法不同，其每个成员都从逻辑定理中完全排除了（经典数理逻辑的）实质蕴涵悖论和（刘易斯模态逻辑的）严格蕴涵悖论，” Vol. II，2024年6月9日， 1992. [3] 程京德，如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处，并提出了一个公理化逻辑系统（第一个完整的相关逻辑系统）π’来刻画“严密蕴涵”（以及其它逻辑联结词）的性质/行为，笔者主张，而是直接引入一个内涵逻辑联结词作为初始联结词（这里我们用“=”表示）来表达条件句/蕴涵关系，微信公众号“数理逻辑与哲学逻辑”，其创建动机在于试图要解决条件句/蕴涵关系之前件与后件之间的相关性问题， [4] 程京德， N. D. Belnap Jr.，敬请各位读者注意，2024年6月18日， [5] 程京德，2024年5月28日，恕本人在网上广泛公布侵权者姓名， 微信公众号“数理逻辑与哲学逻辑”