• 讨论了命题公式的主析取范式、主合取范式中的极小项与极大项下标集合的性质，利用主范式的下标集合得到了命题公式蕴涵的几个充要条件。
• 命题逻辑系统的数字化神经网络的处理对象是数据，而命题逻辑系统的处理对象是命题公式集。
【词语名称】： 命题公式
【词语拼音】： mìng tí gōng shì
【按字造句】： 命造句 题造句 公造句 式造句
【词语意思】： 命题逻辑系统中表示命题的公式。
