La diferencia entre usar solo reglas pt y usar reglas de inferencia

El número de soportes varía.

Regla P: Es utilizar directamente las premisas dadas en el razonamiento, es decir, la introducción de premisas. Regla T: a partir de una o varias premisas se pueden obtener otras fórmulas proposicionales mediante equivalencia e implicación, es decir, reglas de inferencia.

Me refiero a derivar otras fórmulas proposicionales mediante implicación en reglas T, es decir, razonamiento de implicación en reglas de inferencia. E significa deducir otras fórmulas proposicionales a través de expresiones equivalentes en reglas T, es decir, reglas de sustitución en reglas de inferencia. La regla CP se introduce como premisa adicional y se utiliza al final.