{"type":"video","version":"1.0","html":"","height":960,"width":1281,"provider_name":"Loom","provider_url":"https://www.loom.com","thumbnail_height":960,"thumbnail_width":1281,"thumbnail_url":"https://cdn.loom.com/sessions/thumbnails/83dc63e122f3454aacdb003eb4ef2bfe-00001.gif","duration":433,"title":"TP 4: Teorema de la deducción (cómo usarlo)","description":"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."}