什么是p规则,t规则,cp规则?

Question

这三个是离散数学中命题演算中的推理规则，请详细解释。

Answer 1

P：前提在推导过程中可以使用。
T：在推导过程中，若有公式或永真式中含命题S，则S可在推导过程中引入。
CP：若P1∧P2∧......∧Pn∧A→B
则P1∧P2∧......Pn→(A→B).