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