Derivación en ProofLab de Problema 9 del Laboratorio 5 (Logic & Proofs)

Loading...

Sign in or sign up now!
Alert icon
Upgrade to the latest Flash Player for improved playback performance. Upgrade now or more info.
76 views
Loading...
Alert icon
Sign in or sign up now!
Alert icon

Uploaded by on Mar 25, 2010

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.

  • likes, 0 dislikes

Link to this comment:

Share to:
see all

All Comments (0)

Sign In or Sign Up now to post a comment!
Loading...

Alert icon
0 / 00Unsaved Playlist Return to active list
    1. Your queue is empty. Add videos to your queue using this button:
      or sign in to load a different list.
    Loading...Loading...Saving...
    • Clear all videos from this list
    • Learn more