命题公式

拼音mìng tí gōng shì

注音ㄇㄧㄥˋ ㄊㄧˊ ㄍㄨㄥㄕˋ

繁体命題公式

词语解释

◎命题逻辑系统中表示命题的公式。

※ "命题公式"的意思解释、命题公式是什么意思由范文之家汉语词典查词提供。

1、详细说明：命题逻辑中的推理规则可以用来证明一个已经表示成命题公式的定理，但它还不便于机械化实施。

2、对二值命题逻辑系统的程度化研究中命题公式的真度问题进行讨论。

3、在对命题逻辑代数化表示的基础上，通过解多项式方程组，对命题公式进行等价转换、演绎推理。

4、讨论了命题公式的主析取范式、主合取范式中的极小项与极大项下标集合的性质，利用主范式的下标集合得到了命题公式蕴涵的几个充要条件。

5、命题逻辑中的推理规则可以用来证明一个已经表示成命题公式的定理，但它还不便于机械化实施。

6、本文从语构理论入手，在经典二值命题逻辑系统中给出公式的语构真度的概念，从两个不同的角度给出语构真度的等价刻画。