阿达玛矩阵与活尔什系统的布尔模型

摘要

本文用经典的例题逻辑框架介绍了阿达玛矩阵和活尔什函数系统的概念，全文分四节，第一第，提出了所论命题逻辑的语法与语义，第二节，在布尔模型的讨论中包括两个算法，它们用于对上述概念进行定义，同时这一节还描述了布尔模型与阿达玛矩阵及活尔什系统的对应关系。第三节，给出布尔模型的某些性质，如对称、反对称、级、距离等，同时对重要的事实（定理３、定理５、推论１及定理７）给出了证明，前面三节提供了例子，最后第四节概