Esta es un video que muestra como derivar un problema que ejercita el concepto de equivalencia del capítulo 7 del curso Logic & Proofs en el Sistema OLI de Carnegie Mellon. Este curso se esta impartiendo en la Universidad Francisco Marroquín (Guatemala) en la carrera de Ing. Empresarial. El problema es el número 9 del Laboratorio #5. Muestra como derivar una equivalencia utilizando únicamente los operadores básicos de introducción y eliminación en ProofLab.
Link to this comment:
All Comments (0)