Haga clic en el enlace Video OpenFING: Clase 9 - Proposicional - Deducción Natural para abrir el recurso.