video1.0<iframe src="https://www.loom.com/embed/83dc63e122f3454aacdb003eb4ef2bfe" frameborder="0" width="1281" height="960" webkitallowfullscreen mozallowfullscreen allowfullscreen></iframe>9601281Loomhttps://www.loom.com9601281https://cdn.loom.com/sessions/thumbnails/83dc63e122f3454aacdb003eb4ef2bfe-00001.gif433TP 4: Teorema de la deducción (cómo usarlo)Para mayor claridad para ustedes y nosotras (que corregimos) podrían poner antes de comenzar la demostración (si han utilizado el Teorema de la deducción o su recíproco) cuál es la deducción que van a demostrar (dado que es distinta de la originalmente planteada en el ejercicio). Ej:Vamos a demostrar {(B->C)}|- ((A->B)->(A->C)):...<pasos de la demostración>...Hemos demostrado {(B->C)}|- ((A->B)->(A->C)), entonces por el recíproco del Teorema de la Deducción hemos demostrado {(A->B), (B->C)}|- (A->C) c.q.d.