Haga clic en el enlace Video OpenFING: Clase 11 - Proposicional - Corrección y Completitud para abrir el recurso.