Implementacion para la logica en la mesa de los Filosofos