P规则:就是直接利用推理中给出的前提,即前提引入
。
T规则:就是由某一个或几个前提可以通过等价、蕴含得到其他命题公式,即推理规则
。
I表示在T规则中通过蕴含式推出其他命题公式,即推理规则中的蕴含推理
。
E表示在T规则中通过等价式推出其他命题公式,即推理规则中的置换规则
。
CP规则即附加前提引入
,在最后使用。
一句话解释离散数学中的P规则、T规则、CP规则,E和I
最新推荐文章于 2024-03-14 09:00:00 发布
P规则:就是直接利用推理中给出的前提,即前提引入
。
T规则:就是由某一个或几个前提可以通过等价、蕴含得到其他命题公式,即推理规则
。
I表示在T规则中通过蕴含式推出其他命题公式,即推理规则中的蕴含推理
。
E表示在T规则中通过等价式推出其他命题公式,即推理规则中的置换规则
。
CP规则即附加前提引入
,在最后使用。