Haga clic en el enlace LENGUAJE FORMAL - LOGICO para abrir el recurso.