Haga clic en el enlace Lógica proposicional | Implicación para abrir el recurso.